Skip to content

Conversation

@ecstrema
Copy link

@ecstrema ecstrema commented Feb 3, 2020

…nymore.

This is not a real PR. It is normal that it does not pass the tests. The good version is this repo.

I played a bit with your action to make a version for another project. See musescore/MuseScore#5663

It's just if you want to add this functionality, but don't want all the work.

@sonarqubecloud
Copy link

sonarqubecloud bot commented Feb 3, 2020

Kudos, SonarCloud Quality Gate passed!

Bug A 0 Bugs
Vulnerability A 0 Vulnerabilities (and Security Hotspot 0 Security Hotspots to review)
Code Smell A 0 Code Smells

No Coverage information No Coverage information
0.0% 0.0% Duplication

@ecstrema
Copy link
Author

ecstrema commented Feb 3, 2020

Oh, and the working js version (which I could compile) is there: https://github.com/Marr11317/ConflictAdviser

@mschilde
Copy link
Owner

mschilde commented Feb 3, 2020

Thanks, will take a look

@Borda
Copy link
Contributor

Borda commented Jan 12, 2021

I like this extension, could we move it forward? :]
^^ @mschilde @Marr11317


The typical use case is to run this action post merge (e.g. push to `master`) to quickly see which other PRs are now in conflict.

Unfortunately, there is no way for users to subsrcibe to label changes, which means the label gets added, but no one knows. The alternative for that is to post a comment. You should then (and everyone suscribed to the thread) get a notification.

Choose a reason for hiding this comment

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

Suggested change
Unfortunately, there is no way for users to subsrcibe to label changes, which means the label gets added, but no one knows. The alternative for that is to post a comment. You should then (and everyone suscribed to the thread) get a notification.
Unfortunately, there is no way for users to subscribe to label changes, which means the label gets added, but no one knows. The alternative for that is to post a comment. You should then (and everyone subscribed to the thread) get a notification.

@jvacek
Copy link

jvacek commented Jan 10, 2022

Looks like the other repo is gone, any chance on this making a comeback?

@mschilde
Copy link
Owner

will take care, sorry for the absence

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

has conflicts PR has merge conflicts

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants