Learn more about these different git repos.
Other Git URLs
It should be possible on repository-level whether to enable or disable editing of comments.
Note that it might be useful to still display the Edit buttons, but disable them (to indicate that this project opted to disable them).
Fixed in https://pagure.io/pagure/pull-request/534
Merged
Login to comment on this ticket.