don't fail on each bad push, but after full push; update repo_map after push