[boost] [githelp] Merging two repositories