Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Renamed and replaced usage: mgit => mrgit #526

Merged
merged 3 commits into from
Jul 23, 2019
Merged

Renamed and replaced usage: mgit => mrgit #526

merged 3 commits into from
Jul 23, 2019

Conversation

pomek
Copy link
Member

@pomek pomek commented Jun 17, 2019

Suggested merge commit message (convention)

Other: Adjusted repository, documentation and scripts to changes done in mgit/mrgit. See: cksource/mrgit#85.

Additional information

Requires: cksource/mrgit#106 and published package as mrgit (should it be version 1.0.0?).

@pomek pomek requested a review from Reinmar June 17, 2019 11:58
@pomek pomek mentioned this pull request Jun 17, 2019
Merged
10 tasks
@pomek pomek marked this pull request as ready for review July 23, 2019 10:17
@Reinmar Reinmar merged commit 8b4d08d into master Jul 23, 2019
@Reinmar Reinmar deleted the t/mgit2/85 branch July 23, 2019 10:35
@coveralls
Copy link

Coverage Status

Coverage remained the same at 88.837% when pulling 9d91257 on t/mgit2/85 into 4a419ef on master.

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

@Reinmar Reinmar Awaiting requested review from Reinmar

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@pomek @coveralls @Reinmar