code: def get_rev_id(localRepoPath):
      
      start_path = os.getcwd()
      try:
          os.chdir(localRepoPath)
  
          instream = os.popen("git --no-pager log --max-count=1 | head -1")
          for streamline in instream.readlines():
              streamline = streamline.strip()
              if streamline.startswith("commit "):
                  rv = streamline.replace("commit ","")
              else:
                  raise
      except:
          rv = "FAILURE: git revision info not found"
      finally:
          os.chdir(start_path)
  
      return(rv)
docs: returns the current full git revision id of the specified local repository. Expected method of execution: python
      subroutine call
  
      Parameters
      ----------
      localRepoPath: string
          Local repository path.
  
      Returns
      =======
      full git revision ID of the specified repository if everything ran OK, and "FAILURE" if something went
      wrong.