Yes, that’s true. I remember that there used to be a discussion about it but I can’t find it right now. (One argument is that the tag on github can be changed to point to a different commit, which hurts the reproducibility)
Maybe you were thinking of this thread?