• You did succeed in opening a pull request. I guess it's possible that the one you opened was from the master branch, and then it blocked you opening another?

    Honestly though I can't be much help with GitHub - there's loads of stuff online about how to use it.

    Can you post up a list of files you actually want and I can delete the others from your pull request manually before merging? I'm unlikely to get it done this week though as I'm away at a conference

About

Avatar for Gordon @Gordon started