General developer forum

Hubot deletes Moodle on GitHub

 
Gareth J Barnard
Hubot deletes Moodle on GitHub
Group Core developersGroup Particularly helpful MoodlersGroup Plugin developers

All of the Moodle branches and repositories on GitHub have gone!  Deleted by 'hubot':


Hubot deletes Moodle!

Please tell HQ ASAP!

 
Average of ratings: -
One poor developer...
Re: Hubot deletes Moodle on GitHub
Group Core developersGroup Documentation writersGroup Moodle HQGroup Plugin developersGroup Testers

Hi Gareth,

thanks for sharing. It seems that "hubot" has decided to clean our mirror @ github. Right now it's being re-mirrored (also without our intervention).

We have contacted with Github and are waiting for more information about the issue. It seems to be something in their side (test, mistake or bug). Hopefully the mirror will be back soon.

In the mean time it's possible to use any other of the public mirrors:

Yay, git! Ciao smile

PS: And thanks for warning us, Gareth!

 
Average of ratings: Useful (4)
Dan at desk in Moodle HQ, Perth
Re: Hubot deletes Moodle on GitHub
Group Core developersGroup Moodle Course Creator Certificate holdersGroup Moodle HQGroup Particularly helpful MoodlersGroup Plugin developersGroup Testers

We've had a response from github support team:

Hi there,

Sorry for the trouble! We've now had a couple of reports of this problem, and we've opened an issue internally to investigate.

I don't have an ETA on a fix, but we'll be in touch if we need more information from you or if we have any information to share.

Regards,

Laura

GitHub Support

 
Average of ratings: Useful (4)
Dan at desk in Moodle HQ, Perth
Re: Hubot deletes Moodle on GitHub
Group Core developersGroup Moodle Course Creator Certificate holdersGroup Moodle HQGroup Particularly helpful MoodlersGroup Plugin developersGroup Testers

And a further update:

Hi Dan,

Sorry for the trouble. We had an issue with our mirroring system that caused some branches to be deleted in mirrored repos. There was no unauthorized access to your repo.

We've fixed the issue and mirrors are now syncing normally again. If the issue with your specific mirror hasn't resolved yet, it will when the next sync happens.

Cheers,

Jamie

 
Average of ratings: -