Closed sgort closed 4 years ago
Ships. Deze niet eerder gezien. Inmiddels aangepast cf. verzoek. Push komt eraan. Sorry dat ik niet eerder reageerde. Nog even nieuw met dit fenomeen en blijkbaar geen signalering aanstaan oid.
Moet ik nu de branch verwijderen? #justasking
Jazeker. Van mijn eigen branches doe ik het sowieso zodra ik merge.
Een keer in de zoveel tijd verwijder ik ook gewoon alle gemergde branches
On Mon, 23 Mar 2020, 17:29 Datafluisteraar, notifications@github.com wrote:
Moet ik nu de branch verwijderen? #justasking
— You are receiving this because you modified the open/close state. Reply to this email directly, view it on GitHub https://github.com/discipl/waardepapieren/pull/136#issuecomment-602710798, or unsubscribe https://github.com/notifications/unsubscribe-auth/ABNEWEVITPSRYJZE5M3QNJLRI6E6VANCNFSM4LQ24ZJA .
Aanpassingen cf verzoek gedaan. Ben heel benieuwd wat jullie hiervan vinden.