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 <[email protected]> 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 one of the below. > > Thanks! > -michael > > The following branches on Geode have been merged > > feature/GEODE-7212 Updated 2 months ago by karensmolermiller - #4392 - > Merged > feature/GEODE-7477 Updated 2 months ago by Eric Shu - #4352 - Merged > revert-4204-feature/GEODE-7157 Updated 3 months ago by mhansonp - #4283 - > Merged > revert-4201-GEODE-7326-add-cache-gets-timer Updated 3 months ago by > mhansonp - #4222 - Merged > revert-4189-revert-4086-feature/GEODE-6807 Updated 3 months ago by mivanac > - #4212 - Merged > revert-4086-feature/GEODE-6807 Updated 3 months ago by echobravopapa - > #4189 - Merged > revert-4046-feature/GEODE-7179 Updated 4 months ago by nabarunnag - #4054 - > Merged > revert-4034-feature/GEODE-7128 Updated 4 months ago by nabarunnag - #4052 - > Merged > feature/GEODE-7130 Updated 5 months ago by pivotal-eshu - #3973 - Merged > feature/GEODE-6812 Updated 8 months ago by pivotal-eshu - #3682 - Merged > feature/GEODE-6802 Updated 8 months ago by pivotal-eshu - #3623 - Merged > > The following branches on Geode have been closed > feature/GEODE-7576 Updated last month by Eric Shu - #4477 - Closed > feature/GEODE-7277 Updated 3 months ago by gesterzhou - #4149 - Closed > better-classpath Updated 14 months ago by metatype - #2904 - Closed
