removes tedious github plugin