Git build/tag sync: correction after merge
Git: no build info