You're right. "Single" might have been a better word than "simple," since ^v0.3.0-rc3 has to come from somewhere too.
--Gray On Wednesday, August 20, 2014 8:53:35 PM UTC-5, Simon Kornblith wrote: > > From that script it looks like it's > > git rev-list <commit> ^v0.3.0-rc3 | wc -l > > On Wednesday, August 20, 2014 9:22:36 PM UTC-4, Gray Calhoun wrote: >> >> On Wednesday, August 20, 2014 12:56:42 PM UTC-5, Simon Kornblith wrote: >>> >>> Does it still not work to use 0.4.0-dev+n as the version in the REQUIRE >>> file? This used to almost work, but some of the nightlies were missing the >>> commit number. It certainly seems easier than searching through all the >>> hashes, although I don't know the git command to get the commit number for >>> a given hash off the top of my head. >>> >> >> It's not a simple git command. It looks like base/version_git.sh has a >> script to get the commit number, which is then stored in >> base/version_git.jl. >> >
