Hi! Is it actually intended that references to feature branches that have already been merged into `master` stay in the GHC repository? There is a lot of branch references in this repository, which sometimes makes it a bit hard to find a particular one that you’re looking for. Should I delete my own obsolete feature branch references?
All the best, Wolfgang _______________________________________________ ghc-devs mailing list -- [email protected] To unsubscribe send an email to [email protected]
