chore: use github app for builds

Author: jdx

.circleci/config.yml

@@ -18,6 +18,8 @@ jobs:
       - run:
           name: Updating schema
           command: |
+            git clone "https://x-access-token:$(./scripts/github_token.js 290530)@github.com/heroku/typescript-api-schema.git" repo
+            cd repo
             git config --global push.default simple
             git config --global user.name "$GIT_AUTHOR_NAME"
             git config --global user.email "$GIT_AUTHOR_EMAIL"

scripts/github_token.js

@@ -0,0 +1,38 @@
+#!/usr/bin/env node
+
+// gets a github auth token for a github app
+
+const jwt = require('jsonwebtoken')
+const {HTTP} = require('http-call')
+const exp = new Date()
+exp.setMinutes(exp.getMinutes() + 10)
+const env = k => {
+  if (process.env[k]) return process.env[k]
+  else throw new Error(`Must set ${k}`)
+}
+
+const token = jwt.sign({
+  // iss: env('GITHUB_APP_ID')
+}, env('GITHUB_APP_PEM'), {
+  issuer: env('GITHUB_APP_ID'),
+  algorithm: 'RS256',
+  expiresIn: '10m'
+})
+
+const installation = process.argv[2]
+
+async function run () {
+  const {body} = await HTTP.post(`https://api.github.com/app/installations/${installation}/access_tokens`, {
+    headers: {
+      Authorization: `Bearer ${token}`,
+      Accept: 'application/vnd.github.machine-man-preview+json"'
+    }
+  })
+  console.log(body.token)
+}
+
+run()
+  .catch(err => {
+    console.error(err)
+    process.exit(1)
+  })