Save github ids #38
Description
We need to save github ids instead of relying on owner and repo.
It would help with renames and maybe something else in the future.
{{ message }}
We need to save github ids instead of relying on owner and repo.
It would help with renames and maybe something else in the future.