Closed dhilgarth closed 11 years ago
Thanks. The code is now in master
. However, I had to make some other changes to master
before, so your fork is behind, which is (I think) the reason why github isn't automatically closing the pull request. I can force close it manually, but wonder what happens if you do this:
If my theory is correct, that should automatically close the pull request, but I wouldn't be surprised if I'm wrong either...
I will try that. FYI: There are three repositories involved here.
In my local repository dhilgarth/Hyprlinkr is "origin" and ploeh/Hyprlinkr is "ploeh". That's how things have been created automatically - I guess by github.
See #4.