-
Notifications
You must be signed in to change notification settings - Fork 7
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
Fixed typos in docstring of subroutines.py #135
base: main
Are you sure you want to change the base?
Conversation
Warning! No news item is found for this PR. If this is a user-facing change/feature/fix, |
Thanks for using 'Closes'. However, we close an issue, not a PR. The one you've linked is a PR. |
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@
## main #135 +/- ##
=======================================
Coverage 71.07% 71.07%
=======================================
Files 9 9
Lines 242 242
=======================================
Hits 172 172
Misses 70 70 ☔ View full report in Codecov by Sentry. |
@sbillinge ah, codecov upload is failing. It's being moody today. |
yes, this is correct. We do want to refernce this PR though. As an example, I might have written something like:
|
I think PR can closes PR. PR on Github are just special issues. |
this is true, but it makes it a bit harder to get the messaging correct. We normally close PRs manually when they are replaced by other PRs and say why, whilst linking them so we don't lose the conversation. For issues we prefer automatic closing because the workflow is "I am going to open this PR to close this issue" and even if it takes 6 months, we are confident that when the PR is merged, the issue will close and we don't have to remember to go back and do it manually..... This is very different. We don't want multiple PRs open on the same thing, waiting for the second one to be merged, it only causes confusion (and the wrong one may get merged by mistake) |
@sbillinge could you plz re-run the CI? codecov seems to be now stable again. |
I reran but it failed with a codecov issue. We may want to try pushing a new commit to clear out any cache? |
Replaces #126
No news (not required).
@sbillinge please review it.