If a repo's remote has diverged then a reset is necessary as the attempt to pull will fail. Signed-off-by: Eric Callahan <arksine.code@gmail.com>
If a repo's remote has diverged then a reset is necessary as the attempt to pull will fail. Signed-off-by: Eric Callahan <arksine.code@gmail.com>