Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix building the website when a file has only chore commits (#1224)
#1223 was a chore PR which added a file. This exposed a bug in our Git mdbook preprocessor, which filters out chore commits before generating the "Created by" line. Now if there are no non-chore commits touching a file, the file is generated without "Created by".
- Loading branch information