Skip to content

Package git-core has been renamed to git#177

Merged
devrandom merged 1 commit intodevrandom:masterfrom
maflcko:git_core
May 1, 2018
Merged

Package git-core has been renamed to git#177
devrandom merged 1 commit intodevrandom:masterfrom
maflcko:git_core

Conversation

@maflcko
Copy link
Copy Markdown

@maflcko maflcko commented May 1, 2018

The move was done long ago, so reflect that here as well.

@maflcko maflcko requested a review from devrandom as a code owner May 1, 2018 15:33
@devrandom devrandom merged commit faa2dc2 into devrandom:master May 1, 2018
devrandom added a commit that referenced this pull request May 1, 2018
faa2dc2 Package git-core has been renamed to git (MarcoFalke)
@maflcko maflcko deleted the git_core branch May 1, 2018 18:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants