remove leftover github garbage