do you use github tags to track releases? could al...

# arrow

[jacob]

do you use github tags to track releases? could always build the bleeding edge docs on every push to master, but build the live docs on tags?