We would like to have aufover group in Fedora COPR to have all RPMs and repositories related to the AUFOVER (Automation of Formal Verification) project at one place. According to the following FAQ, we need to have a FAS group first: https://docs.pagure.org/copr.copr/user_documentation.html#how-can-i-create-new-group
aufover
We already have aufover group on Github: https://github.com/aufover
Description of the AUFOVER project is available here: https://research.redhat.com/blog/research_project/aufover-2/
2021/09/13
Metadata Update from @zlopez: - Issue priority set to: Waiting on Assignee (was: Needs Review) - Issue tagged with: low-gain, low-trouble, ops
Done. The group exists and you should be a manager of it to add whoever you like.
You may need to logout and back on to copr to have it see the group.
Let us know if you need anything further...
Metadata Update from @kevin: - Issue close_status updated to: Fixed - Issue status updated to: Closed (was: Open)
Works as expected. Thank you for taking a quick action on this!
Log in to comment on this ticket.