Learn more about these different git repos.
Other Git URLs
710c1d7
[frontend] show checkboxes only if user see the 'delete all marked' button