title: Difference between github.token vs secrets.github_token?
body: <p>When configuring workflows for GitHub Actions there exists the option to pass a GitHub token to authenticate towards GitHub in the workflow.</p>
  <p>I have seen both of the following ways to get said token:</p>
  <pre><code>github.token
  secrets.github_token
  </code></pre>
  <p>Is there any functional difference between the two? Or are these simply two ways to get the same token?</p>