I just e-mailed @bradtgmurray about creating a tag. We'll see how that goes, but for the moment, I don't think this will be a problem. Pebble's own documentation instructs people to use HEAD of that repo, so they've already somewhat committed to keeping it stable.