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

Push registry after registrations by default. #36

Merged
merged 1 commit into from
May 16, 2021

Conversation

GunnarFarneback
Copy link
Owner

Change the default of the push keyword argument to register from false to true. Cf #30.

@codecov-commenter
Copy link

codecov-commenter commented May 16, 2021

Codecov Report

Merging #36 (44a8f26) into master (9f4a4f1) will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##           master      #36   +/-   ##
=======================================
  Coverage   98.31%   98.31%           
=======================================
  Files           1        1           
  Lines         178      178           
=======================================
  Hits          175      175           
  Misses          3        3           
Impacted Files Coverage Δ
src/LocalRegistry.jl 98.31% <ø> (ø)

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 9f4a4f1...44a8f26. Read the comment docs.

@GunnarFarneback GunnarFarneback merged commit 50b6733 into master May 16, 2021
@GunnarFarneback GunnarFarneback deleted the push_by_default branch May 16, 2021 16:38
@GunnarFarneback GunnarFarneback mentioned this pull request Aug 16, 2021
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