I lean towards &quot;No&quot;.<p>For example, this was never merged: <a href="https:&#x2F;&#x2F;github.com&#x2F;SpiderOak&#x2F;Encryptr&#x2F;pull&#x2F;180" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;SpiderOak&#x2F;Encryptr&#x2F;pull&#x2F;180</a><p>I eventually closed it because I keep an eye on <a href="https:&#x2F;&#x2F;github.com&#x2F;pulls" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;pulls</a> and it was unnecessary clutter.