git_resource: handle branch names with # - Githubissues

tilt-dev / tilt-extensions

Extensions for Tilt

https://tilt.dev/

Apache License 2.0

201 stars 159 forks source link

git_resource: handle branch names with # #497

Closed nicks closed 1 year ago

nicks commented 1 year ago

alternative to https://github.com/tilt-dev/tilt-extensions/pull/496

nicks commented 1 year ago

actually, i changed my mind, i like the other pr better