FYI: I pushed a change into the Apache git service incubator-hawq <https://git-wip-us.apache.org/repos/asf/incubator-hawq.git> and it has not synced to the GitHub incubator-hawq <https://github.com/apache/incubator-hawq> mirror for over four hours. It could just be me as this happened the last time I was in Beijing and I committed a change and it took forever to sync. Hopefully, the github mirror will sync before the next US Presidential election :)
-=e -- *Ed Espino* *esp...@apache.org <esp...@apache.org>*
