Revision 157f7e3596b4638b4d5730baf087828522e25245 authored by Roman Donchenko on 20 April 2023, 11:27:02 UTC, committed by GitHub on 20 April 2023, 11:27:02 UTC
This improves the reproducibility of the server build process. Now new versions of dependencies can no longer break the server unless we explicitly upgrade to them. To minimize changes, I did not update any of the version constraints we currently have; however, in the future, we should be able to relax a lot of them. Resolves #5310.
1 parent a353497
.remarkrc.js
exports.settings = { bullet: '*', paddedTable: false };
exports.plugins = [
'remark-frontmatter',
'remark-gfm',
'remark-preset-lint-recommended',
'remark-preset-lint-consistent',
['remark-lint-list-item-indent', 'space'],
['remark-lint-no-dead-urls', false], // Does not work because of github protection system
['remark-lint-maximum-line-length', 120],
['remark-lint-maximum-heading-length', 120],
['remark-lint-strong-marker', '*'],
['remark-lint-emphasis-marker', '_'],
['remark-lint-unordered-list-marker-style', '-'],
['remark-lint-ordered-list-marker-style', '.'],
['remark-lint-no-file-name-irregular-characters', false],
['remark-lint-list-item-spacing', false],
];
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...