- Show keyboard shortcuts: press <?> while not editing text. You can also check out the upstream
docs.
- Mark as duplicate: Use quick actions in a new comment i.e. "/duplicate #issue_number". If you want to apply a label such as "duplicate", you can also use "~label_name". Read more about
quick actions in the upstream docs.
- Update a MR: Simply force push the branch with "git push -f". Read more about the workflow for GNOME in our
docs.
Question of the week
Since the question from the previous week didn't reach a clear agreement, let's try a last effort on it, since it's the only one that we will most probably cannot revert in short term.
The discussion is about what name to use for our groups, specifically for the current
GNOME group. If you agree GNOME is a great name and the issues raised are not that much of an issue, please say so too. Comment your thoughts and ideas
on the discussion.