Skip to content

Remove config repository #37

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
Merged
vademo merged 1 commit into from
Feb 8, 2019
Merged

Remove config repository #37

vademo merged 1 commit into from
Feb 8, 2019

Conversation

@vademo
Copy link
Contributor

@vademo vademo commented Feb 8, 2019

The repository config overrides manual settings

Remove config repository
32b68f3 
The repository config overrides manual settings
@TriangleJuice TriangleJuice self-requested a review February 8, 2019 14:49
@coveralls
Copy link

coveralls commented Feb 8, 2019

Pull Request Test Coverage Report for Build 85

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage remained the same at 100.0%
Totals Coverage Status
Change from base Build 83: 0.0%
Covered Lines: 101
Relevant Lines: 101
💛 - Coveralls

@vademo vademo merged commit 90c4bc6 into master Feb 8, 2019
@vademo vademo deleted the bugfix/removeRepositoryConfig branch February 11, 2019 14:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@TriangleJuice TriangleJuice TriangleJuice approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@vademo @coveralls @TriangleJuice