I did a remote PR from the github repository to fedora package sources repository. I updated the github repository for issue updates. However, the issue in fedora package sources repository does not reflect the update.
How do I update a Remote PR issue?
There's a "refresh" button at the top right of the PR to trigger it.
Thank you very much. I overlooked it.
Metadata Update from @nishibe: - Issue close_status updated to: Fixed - Issue status updated to: Closed (was: Open)