ci: update github action to push metrics to okayhq (!35671) · Merge requests · Administrator / sourcegraph · GitLab

Administrator requested to merge devx/dt/push_history into main May 18, 2022

Created by: davejrt

Add okayhq token to github action for ci metrics

Depends on https://github.com/sourcegraph/sourcegraph/pull/35666

Test plan

Just adds a new flag that has now been merged. Script works locally