Closed Witteborn closed 1 year ago
Hello @trvswgnr I saw that the PR has been approved by @sammi-turner. Do I understand this correctly that the reason why this hasn't been merged yet is that the sh scripts is not included in the workflow?
What needs to happen so we can merge and close this pr? let me know how I can help. Please note that I replied to your previous comments.
hey @Witteborn ya, the script includes changes that use rebase strategy, and i would say just use that, except that it will most certainly fail when there are inevitable conflicts. we would also need to escalate gh action permissions since some of the upstream changes involve modifying items in the github actions folder.
i definitely want to figure something out asap though; i'm getting a little tired of manually updating lol
closing this. we're going to use the "master" branch as the playground, and have the "stable" branch be the one that tracks upstream.
This workflow checks for diffs in rust-lang/rust every day. If there is a change then create new branch, commit and push and then create pull request to the repository this workflow is running in.
This PR is related to #61