4 ms·as long as the remote branch is deleted it does. Both github and gitlab can delete branch on mergeby nhumrich 6y agoas long as the remote branch is deleted it does. Both github and gitlab can delete branch on merge