merging git histories between repos

currently at work, i'm working on open sourcing a plugin we've maintained for a while now for Moodle . this plugin was at first only soft-forked into our Moodle repo, so the history from previous work doesn't exist. we wanted to share it as our way of giving back to the community, and this led to the conclusion that we should also preserve our commit history for the past 3-4 years of the small…