merged devlog

This commit is contained in:
Dmitry Zuikov 2023-03-28 06:06:06 +03:00
parent 4d591752fd
commit 03dd10223e
2 changed files with 13 additions and 0 deletions

View File

@ -11,6 +11,7 @@ fixme-files **/*.hs docs/devlog.md
fixme-files docs/pep*.txt fixme-files docs/pep*.txt
fixme-files docs/drafts/**/*.txt fixme-files docs/drafts/**/*.txt
fixme-files docs/pr/**/*.txt
fixme-files-ignore .direnv/** dist-newstyle/** fixme-files-ignore .direnv/** dist-newstyle/**

View File

@ -24,6 +24,18 @@ FIXME: memory-usage-on-big-repos
FIXME: slow-on-big-repos FIXME: slow-on-big-repos
## 2023-03-27
FIXME: atomic-ref-update
FIXME: ref-download-monitor
FIXME: git-clone-check-whole-tree
FIXME: memory-usage-on-big-repos
FIXME: slow-on-big-repos
## 2023-03-26 ## 2023-03-26
FIXME: download-log-location-again FIXME: download-log-location-again