From dc6bf5d44675f6f2013ddfab6b14df25a996a965 Mon Sep 17 00:00:00 2001 From: James Munns Date: Thu, 4 Dec 2025 18:37:01 +0100 Subject: Move to subfolder --- .github/DOCS.md | 23 ----------------------- 1 file changed, 23 deletions(-) delete mode 100644 .github/DOCS.md (limited to '.github/DOCS.md') diff --git a/.github/DOCS.md b/.github/DOCS.md deleted file mode 100644 index e932784c7..000000000 --- a/.github/DOCS.md +++ /dev/null @@ -1,23 +0,0 @@ -# Github config and workflows - -In this folder there is configuration for codecoverage, dependabot, and ci -workflows that check the library more deeply than the default configurations. - -This folder can be or was merged using a --allow-unrelated-histories merge -strategy from which provides a -reasonably sensible base for writing your own ci on. By using this strategy -the history of the CI repo is included in your repo, and future updates to -the CI can be merged later. - -To perform this merge run: - -```shell -git remote add ci https://github.com/jonhoo/rust-ci-conf.git -git fetch ci -git merge --allow-unrelated-histories ci/main -``` - -An overview of the files in this project is available at: -, which contains some -rationale for decisions and runs through an example of solving minimal version -and OpenSSL issues. -- cgit