Hi all, When we moved from SVN at code.google.com to Git at gwt.googlesource.com, I wanted to keep the SVN repo alive because there are many links to source files from blogs or sites like StackOverflow (I'm responsible for many of them).
In the last few days however, I've seen many people linking to code in the SVN repo's trunk rather than the Git repo's master. I think this partly comes from the fact that the SVN repo is still linked to from https://code.google.com/p/google-web-toolkit/ “To browse the GWT source code, visit the 'Source <http://code.google.com/p/google-web-toolkit/source>' tab.” I've asked several time that this link be fixed but it's still not been done. It should link to https://code.google.com/p/google-web-toolkit/wiki/Source?tm=4 instead (what the Sources tab actually links to) I'd also like to replace all files in the SVN trunk (not tags or release branches, only trunk) with dummy content pointing to gwt.googlesource.com. Something like: Source code for the GWT project has moved to https://gwt.googlesource.com The file you're looking for can be now found at https://gwt.googlesource.com/gwt/+/master/path/fo/file.java if it's not been deleted or renamed since then. Specifically, I don't want to just delete the "trunk" *branch* from the SVN as that would break too many links. The "redirect" somehow "breaks" navigation (and particularly linking to a specific line in the file), but at least it's better than a plain 404. What do you think? Note: because I don't have commit rights to the SVN (maybe we could open that now that we no longer sync' from the Google repo?), I'll do a script that replaces the content for all the files in trunk, along with setting the mime type to text/plain, for someone else to run. Either that, or someone gives me the commit rights, after reviewing the script. -- 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/19914684-71fb-49e5-b369-16157c68ac01%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.