Hi, today I merged PR #33 https://github.com/apache/db-jdo-site/pull/33 into the db-jdo-site master and PR #15 https://github.com/apache/db-jdo/pull/15 into the db-jdo master. I see my changes in the master branch of the github repository, but not in gitbox:
https://github.com/apache/db-jdo/commits/master vs. https://gitbox.apache.org/repos/asf?p=db-jdo.git https://github.com/apache/db-jdo-site/commits/master vs. https://gitbox.apache.org/repos/asf?p=db-jdo-site.git Did you hear anything about issues with synchronizing from github to gitbox? Any idea? Regards Michael
