This repository was archived by the owner on Feb 13, 2018. It is now read-only.
This repository was archived by the owner on Feb 13, 2018. It is now read-only.
Does updating refs/heads/master trigger a push? #8
Description
If reverting the master ref triggers a push, and the previous ref wasn't a pull request either, there could be an infinite loop scenario.
This needs to be investigated.