Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
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
Sync improvement addressing #787 #821
Sync improvement addressing #787 #821
Changes from 25 commits
6674751
88315c5
80947b2
3e1cb91
23f8169
ac41553
ee32afb
563b836
cd94c1c
b6510af
e19c324
ad323dc
04ed298
532b255
ec3885b
e399f8b
61644ab
ef970fe
ad3b277
5645ef2
d60d7e2
53ecbcc
e2cb5b2
d3a748f
a0d98b1
547d562
6c912ae
4681a6d
8a288c3
bc302ee
1dbed0f
488f63b
8e1bdaf
7d04fbd
277b867
94106e5
4b66b65
dc2148f
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Do these overwrite the main title and body of the open PR? I wonder if it's better to just add a comment to the PR instead of editing this..
(Bonus points if we can do it after creating the new PR and post a link to the PR that closed it..)
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
🤔 okay I'll see if how to do that
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The linting code used to post GitHub comments:
tools/nf_core/lint.py
Lines 1473 to 1525 in 9b3eec9
I removed it because the linting runs on the PR base, so didn't have sufficient authentication when the PR came from someone's fork. But here we have full auth permissions and it's coming from a branch on the same repo so it should work fine I think..
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Would be nice to resurrect that code and put it to some use again! 😅
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
oh that's nice!! thanks 👌