Learn more about these different git repos.
Other Git URLs
It is useful at least from the debugging POV (I always have to execute at least two SELECTs in psql to find the project id).
For example Gitlab also shows 'Project ID' info, even though it is not usually useful.
Do we want to show the ID to everyone or just to Copr maintainers? I have no problem with either of those, I am just not sure, which one I prefer.
I don't think this is worth an additional admin/non-admin if condition. The ID is not secret information.
Metadata Update from @praiskup:
- Issue tagged with: easyfix
Metadata Update from @schlupov:
- Issue assigned to schlupov
Commit afa37dc fixes this issue
to comment on this ticket.