Looks like Charlie pushed a change to github only? Anyway, I merged that and pushed it back to the jruby repo, so, they *should* be in sync again.
No need to change your git repo. On 27 June 2012 14:57, Yoko Harada <yoko...@gmail.com> wrote: > Hi, > > I wonder JRuby source repo moved from jruby.org to github? > > I see headius's commit, a7d32fa5549c18a7497231ee1b48e2989edeedf9 , on > github's jruby/jruby. But, after "git pull --rebase" several times on > my local repo, the most recent commit is > c0069037dd6ad448e392993e962c9ae45f01e39c by Tom. > > I have github setting, > > [remote "origin"] > fetch = +refs/heads/*:refs/remotes/origin/* > url = g...@jruby.org:jruby.git > > in my .git/config file. > > Should I change this to point github? > > -Yoko > > --------------------------------------------------------------------- > To unsubscribe from this list, please visit: > > http://xircles.codehaus.org/manage_email > > --------------------------------------------------------------------- To unsubscribe from this list, please visit: http://xircles.codehaus.org/manage_email