" not all forked trees in GitHub are dead. Some are still twitching."
well, I had Arduino forked at one time to submit a pull request (since it was kinda necessary). A few months after the change was accepted, I deleted the fork. I wonder how many OTHER people do that?
Having to fork a repo to do pull requests may be efficient on the back-end, but it's "noisy" on the web end, especially when searching for stuff.