File github-stats.js

docs/javascripts/github-stats.js:None–None

document.addEventListener("DOMContentLoaded", async () => {
  const repoOwner = "InfinitiBit";
  const repoName = "graphbit";