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

Go mod tidy sourcegraph #41

Merged
merged 1 commit into from Mar 4, 2020
Merged

Go mod tidy sourcegraph #41

merged 1 commit into from Mar 4, 2020

Conversation

sourcegraph-bot
Copy link

This is a campaign run to fulfill the delivery plan https://github.com/sourcegraph/customer/issues/13.

Over the coming days, I will update more repositories using go mod tidy.
Find this campaign here

Copy link
Member

@eseliger eseliger left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Approving, as we had approval here: #40 and this is just the same content, only recreated from the k8s cluster rather than a local Sourcegraph instance.

@codecov
Copy link

codecov bot commented Mar 4, 2020

Codecov Report

Merging #41 into master will not change coverage by %.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##           master      #41   +/-   ##
=======================================
  Coverage   26.91%   26.91%           
=======================================
  Files           5        5           
  Lines        1133     1133           
=======================================
  Hits          305      305           
  Misses        784      784           
  Partials       44       44           

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 3637c60...372f875. Read the comment docs.

@eseliger eseliger merged commit 83b4203 into master Mar 4, 2020
@eseliger eseliger deleted the go-mod-tidy-sourcegraph branch March 4, 2020 18:46
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.

None yet

2 participants