Code

Add git repo as a top-level menu#347

Code

Merged

snazy merged 6 commits intoapache:mainapache/polaris:mainfrom flyrain:add-github-menuflyrain/polaris:add-github-menuCopy head branch name to clipboardOct 15, 2024

+14-14

Commits

Commits on Oct 12, 2024

• Add a menu to the git repo

  

  Yufei Gu

  committed
  ce77ec2

  Copy full SHA for ce77ec2

Commits on Oct 14, 2024

• Remove the formatting changes

  

  Yufei Gu

  committed
  3f74bf8

  Copy full SHA for 3f74bf8

• Remove the formatting changes

  

  Yufei Gu

  committed
  20d0dbe

  Copy full SHA for 20d0dbe

• Remove the formatting changes

  

  Yufei Gu

  committed
  4afadd2

  Copy full SHA for 4afadd2

• Remove the formatting changes

  

  Yufei Gu

  committed
  b901807

  Copy full SHA for b901807

Commits on Oct 15, 2024

• Merge branch 'main' into add-github-menu

  snazy

  authored
  79f596c

  Copy full SHA for 79f596c