Skip to content
This repository was archived by the owner on Oct 8, 2020. It is now read-only.

Conversation

@scouten
Copy link
Collaborator

@scouten scouten commented Aug 25, 2019

Checklist

  • This PR represents a single feature, fix, or change.
  • All applicable changes have been documented.
  • There is test coverage for all changes.
  • Any code ported from jgit maintains all existing copyright and license notices. n/a
  • If new files are ported from jgit, the path to the corresponding file(s) is included in the header comment. n/a
  • Any TO DO items (or similar) have been entered as GitHub issues and the link to that issue has been included in a comment. n/a

@scouten scouten self-assigned this Aug 25, 2019
@scouten scouten merged commit 7fb2065 into master Aug 25, 2019
@scouten scouten deleted the dir-cache+remove_entries branch August 25, 2019 15:48
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants