search

jerone / UserScripts

🐵 My UserScripts
https://github.com/jerone/UserScripts#readme
GNU General Public License v3.0
339 stars 39 forks source link

Breaks with GitHub usernames containing spaces #150

Closed aspiers closed 4 years ago

aspiers commented 4 years ago

e.g. look at the edits I had to make to this comment.

jerone commented 4 years ago

Confirmed and thanks. Will release a fix later.

jerone commented 4 years ago

GitHub Refined did add something similar recently: https://github.com/sindresorhus/refined-github/pull/2556. They only include the username.

The main advantage of this UserScript is that the whole message is pinned by the current time. This is useful when replying to an users message, and they edit the message after replying.