Learn more about these different git repos.
Other Git URLs
From time to time you have a build ID and want to open its detail in Copr. You have several options how to do it:
https://<frontend>/coprs/build/<build_id>
Build <build_id> doesn't belong to this project. You can go to <owner>/<project> /build/<build_id> to see this build.
I think that we should enhance our search box to work with build IDs. Look at the bugzilla.redhat.com as an example. If you search some text, a table with matched results is returned, however if a bug ID is searched, you are automatically redirected to the bug detail. We can do this same way for our builds (if searched value is int and there is build.id with such value in the database). Or we can put it as the first result in the results table. This would when you have some number in the project name and want to search the project just by it. I think that both implementations are useful and I don't have a strong preference for one of them.
int
build.id
Metadata Update from @frostyx: - Issue assigned to frostyx
Commit b28a4f1 fixes this issue
Login to comment on this ticket.