getting pull request merged?
I recently created a (very!) tiny pull request to fix notepad++ not being able to update behind corporate proxies that authenticate with windows integrated auth.
My days of being active in open source development predate github (sadly real life has been too busy) so I’m not sure if there’s something else that I should do to get this merged (create an issue, perhaps) or if I should just wait until Don gets around to looking at open pull requests?
says this should have been done FIRST, but I don’t know if this has any bearing on lack of attention…