grumpy.website/post/0RBmjwW8N: do not put actions in a dropdown, and definitely don’t call it Options
At least two of those are actions, not options (amend and create PR are their own actions, not options on top of commit). As we said it beforeThanks @andrew347 for the picture