search

rust-lang / rust-playground

The Rust Playground
https://play.rust-lang.org/
Apache License 2.0
1.2k stars 203 forks source link

Fix ci #1037

Closed CjS77 closed 6 months ago

shepmaster commented 6 months ago

Is there something I can do?

CjS77 commented 6 months ago

Hey, sorry for the spam. Github always defaults to using upstream as the base for PRs rather than forks, and I tend to insta-click "Create PR" before I remember to change the base repo. :face_exhaling:

shepmaster commented 6 months ago

If you want to, you can disassociate the fork https://github.com/orgs/community/discussions/45251#discussioncomment-4776056

CjS77 commented 6 months ago

Oh, that's quite neat. Thanks for the heads up.

On Wed, 17 Jan 2024 at 13:41, Jake Goulding @.***> wrote:

If you want to, you can disassociate the fork https://github.com/orgs/community/discussions/45251#discussioncomment-4776056

— Reply to this email directly, view it on GitHub https://github.com/rust-lang/rust-playground/pull/1037#issuecomment-1895837135, or unsubscribe https://github.com/notifications/unsubscribe-auth/ABZZAL5JARIUM3CIAXO3AXLYO7IHPAVCNFSM6AAAAABB6DTXKKVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMYTQOJVHAZTOMJTGU . You are receiving this because you modified the open/close state.Message ID: @.***>

-- Cayle Sharrock Head of Engineering Tari Labs https://www.tari.com