Create a GITHUB token

Generating a new token

• From Settings in Github go to Developer Settings and, under Personal access tokens, click on Generate new token.

• Select No expiration.

• Choose a name for the token and ensure you have marked the following rights (and their subcategories):

  • repo
  • workflow
  • admin:org
  • admin:public_key
  • admin:repo_hook
  • gist
  • notifications
  • user
  • delete_repo

• Generate the token.

Using your new token on you computer

• Copy your token hash and export it on your .bashrc file so you can use it when deploying a pull request with apply_pr.

export GITHUB_TOKEN=[YOUR_GITHUB_TOKEN_HASH]

• Reboot your session or use source ~/.bashrc to import the token.