If a git repo not configured on the dev channel it is necessary to move the HEAD to the commit for the correct tag. Signed-off-by: Eric Callahan <arksine.code@gmail.com>
If a git repo not configured on the dev channel it is necessary to move the HEAD to the commit for the correct tag. Signed-off-by: Eric Callahan <arksine.code@gmail.com>