Issue #181: eliminate generation of conflict when loading a different SHA from the same github reository ...