&quot;Switching to another tool won&#x27;t solve this problem they&#x27;re having.&quot; It will if those users don&#x27;t follow them from GitHub.<p>Whether this is a bug or a feature is left as an exercise to the reader.