Even when Github is working normally, sometimes the sync does not work. Mostly this happens with large commits, but may also happen with small ones.
As the previous poster suggests, making a tiny change to the repo should tidy things up. The change can be to any file in the repo. E.g. add a blank line to a README file. On 24 October 2016 at 15:16, Tom Barber <[email protected]> wrote: > Hey Damien, > > I may be wrong, I believe if you push a tiny change it will resync for you. > > Tom > > On Mon, Oct 24, 2016 at 12:22 PM, Damien GAILLARD <[email protected]> > wrote: >> >> Hello, >> >> We are experiencing an issue with the Unomi mirror. >> The following pull request: >> https://github.com/apache/incubator-unomi/pull/16 >> >> has been merged on Friday around 7pm CET which unfortunately happened when >> GitHub was down, so the request is correctly merge on the repo, as you can >> see here: >> https://git-wip-us.apache.org/repos/asf?p=incubator-unomi.git >> >> but not on GitHub, could someone fix this issue. >> >> Thanks you >> >> Damien GAILLARD >> Product Marketing Developer >> >> 8 rue du sentier | 75002 | France >> jahia.com >> SKYPE | TWITTER | VCARD > >
