I'm running the script http://eclipse.org/projects/git-repos.php and the b3.git repository is picked up correctly. It's
been that way for quite a while now, +10 days, but still no trace of a clone at GitHub. How often is that supposed to
happen and how often will the clone then get synchronized?