Hi all, this morning we noticed that GitHub seems to have been out of sync for several days. A quick chat with Infra resulted in me finding out that there seem to have been commits in GitHub that were not merged back to Apache and at least one commit o Apache was in conflict with the changes in GitHub. The sync tool stopped syncing as it now required manual intervention. I manually merged the changes from both repos and now all was working again. I didn’t however check, if a commit to GitHub is automatically synced back to Apache.
We should keep an eye on this. So if some of you are working with GitHub as main repo, please double check your changes are synced back to the Apache repo. If now we should continue investigating. At least Apache->GitHub is working correctly. Chris
