[gambit-list] [ANNOUNCE] intergit repository-linking tool (early release)