Closed jotaen4tinypilot closed 1 year ago
Resolves https://github.com/tiny-pilot/style-guides/issues/12.
@mtlynch I noticed we don’t have auto-deletion of merged branches turned on in this Github repo. Could you enable that in the settings please?
Resolves https://github.com/tiny-pilot/style-guides/issues/12.