+1 for using a temporary branch and then deleting it after the PR is closed. That way there's no empty commits laying around.
On Mon, Oct 24, 2016 at 5:15 PM, Clebert Suconic <clebert.suco...@gmail.com> wrote: > 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 >