I shipped “github merge caution” on chrome webstore. https://chrome.google.com/webstore/detail/github-merge-caution/nimelepbpejjlbmoobocpfnjhihnpked This prevents careless merge for “[wip]” or “[Do Not Merge]” pull request. Plans – Change extension name – The name includes github, but github said “please avoid this name.”(https://github.com/logos) – Enough design for chrome webstore – The screen s
