weird github issue. Local repo not in the Git GUI