Tagging releases? Useful or not?

Since we are getting into the details of tagging, keep in mind that funky git syntax can get you a fixed point in time whenever you want: open-release/juniper.master@{2020-08-01} is Juniper master as it was on August 1st.

(Updated: that syntax won’t work in GitHub urls for fetching code during install, so it won’t work for our purposes…)