Merge branch 'main' into feature/bots

This commit is contained in:
Jason Song authored and GitHub committed 2022-12-27 14:23:35 +08:00
commit 9fd6b389a5
9 files changed
+11 -201

No files matched your search

@@ -1145,7 +1145,7 @@ in this mapping or the filetype using heuristics.
## Time (`time`)
- `FORMAT`: Time format to display on UI. i.e. RFC1123 or 2006-01-02 15:04:05
- `DEFAULT_UI_LOCATION`: Default location of time on the UI, so that we can display correct user's time on UI. i.e. Shanghai/Asia
- `DEFAULT_UI_LOCATION`: Default location of time on the UI, so that we can display correct user's time on UI. i.e. Asia/Shanghai
## Task (`task`)