Hi, there is a branch I want to update. Git currently tells me
Your branch is ahead of 'origin/devel/coarray_native' by 28906 commits.
There are still a few ChangeLog entries to clean up, I'll make sure
that contrib/gcc-changelog/git_check_commit.py passes before
committing.
After doing that, can I just do a "git push", or will this cause any bad
effects like hanging servers etc? I seem to remember there were some
issues a while back.
Best regards
Thomas
