Function handlePushEvent

ci/src/build-handler/index.mjs:341–348

* Push events will get delivered for any branch. For pushes to pull requests, * there will be an additional `pull_request` event that we will use to trigger * the build, so this only needs to proceed if the event is for the default * branch. * https://docs.github.com/en/free-pro-team@latest/deve

(event)

 * @param {GitHubPushWebhookPayload} event
 */
async function handlePushEvent(event) {
  console.log('Handling push event');

  if (event.ref === `refs/heads/${event.repository.default_branch}`) {
    console.log('Push event was for default branch');
    await handleCiEvent(event);
  }
}

/**
 * @param {*} event