![](https://secure.gravatar.com/avatar/5cd0acc03793e7944454dbb533bbfe43.jpg?s=120&d=mm&r=g)
13 Mar
2010
13 Mar
'10
12:07 p.m.
What's the update policy? On every commit? (Since we're using Git I think this is pointless.) On release? (If so, I would suggest appending -dev to it outside releases.) Something else? Cheers, -- Nikodemus