github_token: new extension to retrieve GitHub PAT with GH CLI

tilt-dev / tilt-extensions

Extensions for Tilt

https://tilt.dev/

Apache License 2.0

204 stars 162 forks source link

Closed nicksieger closed 1 year ago

nicksieger commented 1 year ago

Extracting from an internal project Tiltfile to make it easy to use in multiple projects where a GitHub PAT secret is needed.