Smaller time, shorter branch-name:

only show one branch until the user hovers it (if there's more than one it can still show that info)

👍

Then we should also reverse the order (move the most recently pushed one to the top)

I think handling well just a single branch is good enough :)

Regular

Bottom border highlights that there's more

Hover

Updated readme gif

One thing I found out: disabling the feature by adding show-recently-pushed-branches to Options only disables showing the notifications on all pages; it still shows the floating panel on repo homepage. Which is a state I actually like very much :)

The better description of this feature would be that it moves the notifications to floating panels and adds those panels to other pages like issues and PRs.

show-recently-pushed-branches actually only adds that banner to some pages (I think isIssueList) instead of just appearing on the repo root. Feel free to add a /* */ header on that file as documentation :D

The feature of this PR is CSS-based and can't be disabled.

Thanks, understood, disabling the "feature" but keeping the styles is actually a perfect fit for me.

As a complete side note, I was thinking that maybe it would be nice if features were implemented by adding some CSS classes to DOM via feature's javascript, and then CSS in content.css was targeting them, not the default ones. That would make feature disabling clean and complete.

At the same time, I'm super-happy that feature disablability is in Refined GitHub in the first place. Last time I tried to use it (sometime last year I think) there were too many decisions that actually made the experience worse for me. The new system is both simple and goes a very long way towards customizability, so I'm happy overall.

Refer to #988 (comment)