I just want to share with the few persons who verify the issues that I
just realized why gitk did not work for me recently.
When I copy a committish using Firefox, the committish seems perfectly
selected, but actually it includes an initial space; so gitk considers
invalid the committish. What is bad about gitk: you cannot go up and
delete the space.
So gitk is not a good choice if you use Firefox.
A nice alternative, for those who use a recent (at least 3.18) Gnome
desktop, is gitg, which allows to delete the space after the paste.
https://wiki.gnome.org/Apps/Gitg/
_______________________________________________
bug-lilypond mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-lilypond
