[Exist-development] [WARN] GitHub repo freeze

[Adam R. <ad...@ex...>]

Hi eXist developers,

For the moment, we think we may have a problem with our GitHub Git
repository. Can I please ask people to avoid sending or merging any
pull-requests for the next 12 hours or so.

Unfortunately I am traveling at the moment, but I will be able to look
at repairing the repository from about 12pm UTC tomorrow (Sunday 27th
June). It should only take me about 1 - 2 hours. I will send a further
update after that time.

Also for your own sanity, I would suggest not doing a pull or fetch
from the eXist GitHub repository at the moment.

Thanks for your patience. Adam.

-- 
Adam Retter

eXist Developer
{ United Kingdom }
ad...@ex...
irc://irc.freenode.net/existdb