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.

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

Add --force flag to push command #35

Merged
merged 5 commits into from
Feb 28, 2018
Merged

Add --force flag to push command #35

merged 5 commits into from
Feb 28, 2018

Conversation

hypnoglow
Copy link
Owner

References #13

@codecov-io
Copy link

codecov-io commented Feb 12, 2018

Codecov Report

Merging #35 into master will increase coverage by 18.32%.
The diff coverage is 79.31%.

Impacted file tree graph

@@             Coverage Diff             @@
##           master      #35       +/-   ##
===========================================
+ Coverage   38.46%   56.79%   +18.32%     
===========================================
  Files           3        3               
  Lines          52       81       +29     
===========================================
+ Hits           20       46       +26     
  Misses         30       30               
- Partials        2        5        +3
Impacted Files Coverage Δ
internal/index/index.go 56.89% <79.31%> (+32.75%) ⬆️

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update c79773d...5b3c2bc. Read the comment docs.

@hypnoglow hypnoglow added this to the 0.6.0 milestone Feb 13, 2018
@hypnoglow hypnoglow self-assigned this Feb 13, 2018
@hypnoglow hypnoglow changed the title WIP: Add --replace flag to push command Add --replace flag to push command Feb 28, 2018
@hypnoglow hypnoglow changed the title Add --replace flag to push command Add --force flag to push command Feb 28, 2018
@hypnoglow hypnoglow merged commit 6da8f70 into master Feb 28, 2018
@hypnoglow hypnoglow deleted the push-replace branch February 28, 2018 21:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants