code: def set_ssh_creds(config, args):
      
      creds = config.get(A.DEPLOYER_CREDS, {})
      creds[A.creds.SSH_USER] = args.user if args.user else creds.get(
              A.creds.SSH_USER,
              DEFAULT_SSH_USER,
              )
      if args.ask_pass:
          creds[A.creds.SSH_PASS] = getpass.getpass('SSH Password: ')
      config[A.DEPLOYER_CREDS] = creds
docs: Set ssh credentials into config.
  
      Note that these values might also be set in ~/.bangrc.  If they are
      specified both in ~/.bangrc and as command-line arguments to ``bang``, then
      the command-line arguments win.