Little script to merge GitHub repositories