This will sync the git tag for this commit. This should help prevent confusion for users who were thinking that 5.0.0-r#####-g######## was an older version than the 5.1 branch.