I just noticed that there's a GitHub mirror that's being mirrored from the Apache Git repository. I also noticed it hasn't been synced in 12 days but we've had commits during that time. That leads me to the question, how often does the GitHub mirror get updated? Is that something we need to trigger manually or is it on some sort of cron job?
-- Omar Gonzalez [email protected] Apache Flex PPMC Member
