code: def gzip_file(source, sink):
      
      import gzip
      with open(source, 'rb') as f_in, gzip.open(sink, 'wb') as f_out:
          f_out.writelines(f_in)
docs: Create a GZIP file from a source file.
  
      Parameters
      ----------
      source : str
          Filepath
      sink : str
          Filepath