Skip to content

Change the name of the .git directory. #79

@schwern

Description

@schwern

Very rarely a release will ship with a .git directory. This interferes with our .git directory. Right now we just delete it. See #78.

A better way would be to use the GIT_DIR environment variable, or similar, to change the location of the git repository, perhaps even outside the working directory.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions