In our script https://github.com/source-academy/frontend/blob/master/scripts/test.sh which is used as a pre-push git commit hook:
This popping of the stash should be conditional based on whether
  
  
    
        
           | 
           run_cmd "git stash push --keep-index --message precommit"  | 
        
    
   
 
did in fact did a push on the stash!