No, I haven't. I don't make a pull request if the project is obviously abandoned, which is trivial to find out: it shows the dates of the most recent updates to

No, I haven't. I don't make a pull request if the project is obviously abandoned, which is trivial to find out: it shows the dates of the most recent updates to each file/directory in the root of the project, you can see the timestamps of the most recent 20ish commits with one click on Github, etc.