Github push hook failure: "can't push to the refs/pull/* hierarchy"

[Max Bolingbroke]

On 25 June 2011 19:19, Johan Tibell <johan.tibell at gmail.com> wrote:
> Perhaps not. Just asking if they intend to support --mirror would be useful.

I've used the contact form on their website to ask. Let's see what they say.

Max