GitHub does have a setting to auto-delete PR branches once merged, but I think
it’s safe to assume this community prefers to [forget to] delete them manually
;)
> On Jan 22, 2020, at 3:14 PM, Michael Oleske wrote:
>
> There's a lot of branches on Geode that look like they can be deleted
> bec
Also, please use your fork for branches!
> On Jan 22, 2020, at 3:14 PM, Michael Oleske wrote:
>
> There's a lot of branches on Geode that look like they can be deleted
> because they have either been merged or closed. Below is a list. Please
> consider deleting your branch if you have created
There's a lot of branches on Geode that look like they can be deleted
because they have either been merged or closed. Below is a list. Please
consider deleting your branch if you have created one of the below.
Thanks!
-michael
The following branches on Geode have been merged
feature/GEODE-7212
