On Mon, Oct 24, 2016 at 4:28 PM, John D. Ament <johndam...@apache.org> wrote: > You can also push up the commits to a separate branch, which closes the PR, > then delete that branch (note you have to eventually push a real commit on > top so there will be a short delay until someone commits to git in a > non-delete fashion). >
Ahhhhh.... a temporary branch... hmmmm We can push -f :temporary-branch when it's closed. That works