Github action is easier to maintain and share publicly. We also need the capability to transparently update the extension once the PR is merged.