[domoritz]

I’ve been using refined GitHub for years and multiple times I thought GitHub added a new feature when was refined GitHub. Needless to say, I am really happy about this extension and came to rely on it.