Add Forge Identity +3 to permit pushing filtered history
If a project's history has been rewritten using git filter-branch
it may need to be force pushed back into the branch. Normally this
is rejected if the history contains merge commits authored by this
Gerrit Code Review server, as the server is trying to prevent the
common case of an innocent user amending a merge commit to add new
code, rather than making a brand new commit.
Enable Forge Identity +3 to work around this check, by permitting
the end user to forge the server's own identity on commit objects.
Change-Id: I84cbf750b209563e93ab0b35a9e1bc1743497172
Signed-off-by: Shawn O. Pearce <sop@google.com>
7 files changed
