anchor.diff:  ECHO Pushing DOSmag changes to GitHub:
   ECHO:
   
  -git subtree push --prefix bin/DOSmag dosmag master
  +git subtree push --prefix DOSmag dosmag master
   
   ECHO:
   PAUSE
  
positive.code: 
  git subtree pull --prefix DOSmag --squash dosmag master
  
  COPY /Y "DOSmag\DOSmag.exe" PortaDOOM\PortaDOOM.exe  >NUL
  
  ECHO:
  PAUSE
  
negative.code: 
  :do_dosmag_pull
  REM ============================================================================
  REM # updates DOSmag from the GitHub repo
  
  REM # TODO: check for existence of git
  
  