Learn more about these different git repos.
Other Git URLs
Right now it doesn't seem as though you can edit comments on PRs and/or issues. It would be nice to be able to do that. ;)
That's a duplicate of https://pagure.io/pagure/issue/95 :)
Login to comment on this ticket.