this is their new name, plus it might be hard to figure out who their old name is referring to since it's already been updated in most other places (github, IRC, etc)
No due date set.
No dependencies set.
Deleting a branch is permanent. It CANNOT be undone. Continue?