Learn more about these different git repos.
Other Git URLs
In the comment feed for a Pull request, there should be a notification / special comment in the comment list that shows up if additional commits are added to the branch that is proposed to be merged.
Closing as a duplicate of https://pagure.io/pagure/issue/147
Login to comment on this ticket.