use autostash and pull

Jacky Zhao

2023-08-03 5537ca41e0069725e98ef9ad59a2d4dbaa0bd8ae

 quartz/theme.ts

@@ -60,5 +60,4 @@
  --highlight: ${theme.colors.darkMode.highlight};
}
`

}