Have you considered using a merge commit for this? That won't require force pushing
On Wed, Feb 10, 2021 at 2:51 PM Anshum Gupta <ans...@anshumgupta.net> wrote: > > Hi All, > > Seems like during the last release, we directly committed the website changes > to the production branch, bypassing the master. This is now causing issues > with merging updates from master into prod using the simple 'create PR' -> > 'merge master to prod' workflow. > > I was working with Cassandra to clean this up but we'd need help from someone > who's more confident and experienced with such GitHub issues. > > I tried rebasing production to master in hopes that we'll get the missing > commits correctly into master, but that seems to warn of the diverging > branches and requires a force push, something I wasn't comfortable doing > without another set of eyes :) > > If you have suggestions or know what to do here, please help with fixing the > branch. > > -- > Anshum Gupta --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@lucene.apache.org For additional commands, e-mail: dev-h...@lucene.apache.org