16 ms·
Pushing to a pull request that isn't yours
- ValdikSS 5mo agoOn GitHub, if anyone makes an MR which changes the name of existing GitHub Actions, it will be instantly renamed. The web interface will show redefined name, even if the MR comes from new contributor (and yet unmerged of course).