github:  improve branch deletion notice