github synch issues?

[Cameron McKenzie]

Guys,
I pushed a fix up to the apache git repo on the CURATOR-167 branch an hour
or so ago and it doesn't seem to have synched with github so I can't set up
a PR. Any ideas why?
cheers