Re: [jbosstools-dev] On the topic of useful PR title/descriptions and git commit messages

even simpler... if using FF, set up a bookmark like this: location: https://jira.jboss.org/jira/browse/JBIDE-%s keyword: jbide Then... double-click the JIRA number anywhere in a browser page. CTRL-C, CTRL-T, jbide (space) CTRL-V, enter. Result - 9 keystrokes to get here: https://issues.jboss.org/browse/JBIDE-12345 On 11/21/2012 12:25 PM, Max Rydahl Andersen wrote: >>>> Anyway, thanks for the suggestions. I usually don't use '-', but that shouldn't matter, right? >>> No, it doesn't matter. >> Full link would be shown as a link in on github, but I guess with limitation of 50 chars that is not really possible to use. > full links are rather useless and noisy. > > My workaround for that is to install greasemonkey script that autolinks JBIDE-xyz to jira. > > Tampermonkey with Autolink works for me - i'll try and zip up what I got and post it as soon as possible. > > /max > > > _______________________________________________ > jbosstools-dev mailing list > jbosstools-dev(a)lists.jboss.org > https://lists.jboss.org/mailman/listinfo/jbosstools-dev >