mirror of
https://github.com/rerun-io/rerun.git
synced 2026-03-29 10:47:38 +00:00
1ebd504036
Like #1220, but this time in the right place 😅 ## What Our repo is moving very fast and often it's quicker if a reviewer can fix remaining nits in a contributor PR. Without the ability to push to the external branch, this can be a slow and painful process. So let's kindly ask our contributors to enable this. Source-Ref: 878e1cad0eba5a80e09dea97eafc83937412223d
1.1 KiB
1.1 KiB