Skip to content

Add option to ignore git repos#4889

Description

@jonnykl

How to use GitHub

  • Please use the 馃憤 reaction to show that you want to have the same feature implemented.
  • Please don't comment if you have no relevant information to add. It's just extra noise for everyone subscribed to this issue.
  • Subscribe to receive notifications on status change and new comments.

Feature description

I don't want to sync git repos. An option to ignore all git repos would solve this issue. There are multiple ways to implement this feature:

  • ignore all directories containing a .git directory (if git repo ignore option is enabled)
  • option to ignore parent directory to the existing ignore list entries -> this way you can add .git to the ignore list and enable that new option

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions