Documentation: "pushing commits" missing in the list of actions marking a Todo as done
The documentation for Todos (https://docs.gitlab.com/ce/workflow/todos.html#marking-a-todo-as-done) lists the actions that will automatically mark a Todo as done.
As discussed in gitlab-ce#39080, pushing commits to an MR will dismiss a Todo. But that is not clearly written in the documentation.