question-mark
Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

Extra comment in PR

See original GitHub issue

Hi All!

We faced with problem that coveralls produce extra comment in PRs (comments option is disabled via settings). Looks like it works in such way right after we moved to github actions. It will be great, if you can give more info about action behaviour.

Example PR

Issue Analytics

  • State:closed
  • Created 4 years ago
  • Reactions:5
  • Comments:8 (6 by maintainers)

github_iconTop GitHub Comments

4reactions
nickmerwincommented, Nov 13, 2019

Hi all, apologies for the delay, this is fixed now.

We originally had repos created by an incoming GitHub Action push with GITHUB_TOKEN override the PR comment setting. This is updated to default that setting to true for these newly created repos, so that it can be toggled off as needed after the fact, and GH Action pushes on existing repos will respect the setting.

Thanks.

0reactions
XhmikosRcommented, Oct 8, 2019

Not sure who else to ping @nickmerwin @mscoutermarsh @coveralls

Read more comments on GitHub >

github_iconTop Results From Across the Web

Commenting on a pull request - GitHub Docs
You can comment on a pull request's Conversation tab to leave general comments, questions, or props. You can also suggest changes that the...
Read more >
Commenting on a pull request | Bitbucket Data Center and ...
You can comment on the entire pull request, a particular file, or on specific ... Add any other additional comments or tasks to...
Read more >
Pull Request Etiquette for Reviewers and Authors
If someone reviewed and approved, say thanks in the comment. Probably nobody does that, but you should. A PR is a learning opportunity....
Read more >
On the Etiquette of Pull Request Comments
Every PR comment is a teachable moment where you have the opportunity to take a little extra time and explain why you are...
Read more >
Pull Request Comments - Codecov
The PR comment provides details on the coverage changes in the pull request that help with speeding up code reviews, and ensuring that...
Read more >

github_iconTop Related Medium Post

No results found

github_iconTop Related StackOverflow Question

No results found

github_iconTroubleshoot Live Code

Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start Free

github_iconTop Related Reddit Thread

No results found

github_iconTop Related Hackernoon Post

No results found

github_iconTop Related Tweet

No results found

github_iconTop Related Dev.to Post

No results found

github_iconTop Related Hashnode Post

No results found