Re: [gwt-contrib] Gerrit -> Github issue linking

2015-10-26 Thread 'Roberto Lublinerman' via GWT Contributors
Use Bug-link, see https://gwt-review.googlesource.com/#/c/13710/

On Sun, Oct 25, 2015 at 5:25 AM, Jens  wrote:

> Hi,
>
> In Gerrit "Bug: issue " points to Google Code. Do we already have an
> alternative wording for cross linking to Github? Something like "Bug:
> #" maybe?
>
> -- J.
>
> --
> You received this message because you are subscribed to the Google Groups
> "GWT Contributors" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to google-web-toolkit-contributors+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/google-web-toolkit-contributors/2a50252d-fd29-44cd-9538-45a9e7d91532%40googlegroups.com
> 
> .
> For more options, visit https://groups.google.com/d/optout.
>

-- 
You received this message because you are subscribed to the Google Groups "GWT 
Contributors" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to google-web-toolkit-contributors+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/google-web-toolkit-contributors/CAC7T7gk%2BkBkH7_RDdDOdfwQSz9_E8or2foy-r9NrmrwzwqdwVw%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.


[gwt-contrib] Gerrit -> Github issue linking

2015-10-25 Thread Jens
Hi,

In Gerrit "Bug: issue " points to Google Code. Do we already have an 
alternative wording for cross linking to Github? Something like "Bug: 
#" maybe? 

-- J.

-- 
You received this message because you are subscribed to the Google Groups "GWT 
Contributors" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to google-web-toolkit-contributors+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/google-web-toolkit-contributors/2a50252d-fd29-44cd-9538-45a9e7d91532%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.