[jruby-dev] Did JRuby source repo move to github?

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 h

Re: [jruby-dev] Did JRuby source repo move to github?

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 wrote: > Hi, > > I wonder JRuby source repo moved from jruby.org to github? > >

Re: [jruby-dev] Did JRuby source repo move to github?

Thanks Wayne! I pushed one commit. -Yoko On Wed, Jun 27, 2012 at 6:58 PM, Wayne Meissner wrote: > 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. > > > O

Re: [jruby-dev] Did JRuby source repo move to github?

Yup...for whatever reason I always forget to use jruby.org repo when setting up a new machine. I'll fix that on my end. - Charlie On Wed, Jun 27, 2012 at 9:53 AM, Yoko Harada wrote: > Thanks Wayne! > > I pushed one commit. > > -Yoko > > On Wed, Jun 27, 2012 at 6:58 PM, Wayne Meissner wrote: >>