Hi, > I'm proceeding with the upgrade shortly. I'm not sure how long downtime > we'll get on the Git repository, and if there will be any problems pushing > changes afterwards (after the URL has changed).
I'm curious how the site will look like after the update. If we have to update the repository URL (which I don't think will be necessary), git remote set-url origin <newurl> will be a helpful command :) Cheers, Oliver ------------------------------------------------------------------------------ Everyone hates slow websites. So do we. Make your web apps faster with AppDynamics Download AppDynamics Lite for free today: http://p.sf.net/sfu/appdyn_d2d_nov _______________________________________________ Jabref-devel mailing list Jabref-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/jabref-devel
