Hi, We use: git commit --allow-empty -m "Closes #123: invalid/whatever" This adds small noise in the Git history but works! Otherwise one have to contact Infra team to help.
Martin Grigorov Wicket Training and Consulting https://twitter.com/mtgrigorov On Fri, Mar 31, 2017 at 10:19 AM, Niclas Hedhman <[email protected]> wrote: > Hi, > Some pull requests are invalid for one reason or the other, and the > original creator is "missing" or don't want to remove it, how should we get > it taken away? > > > Thanks > -- > Niclas Hedhman, Software Developer > http://polygene.apache.org - New Energy for Java >
