Script to copy file between git repos preserving history.