Pushing to a pull request that isn't yours

(00f.net)

1 points | by speckx 5 hours ago ago

1 comments

  • ValdikSS 5 hours ago ago

    On 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).