From b3d91a4fe8e9265c3f9ac4488d3f879df104108b Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Mon, 13 Feb 2023 08:36:32 +0000 Subject: [PATCH] Deployed a266dd74 to nightly with MkDocs 1.4.2 and mike 1.1.2 --- .../issues-and-pull-requests/index.html | 10 ++-- nightly/search/search_index.json | 2 +- nightly/sitemap.xml | 54 +++++++++--------- nightly/sitemap.xml.gz | Bin 480 -> 480 bytes 4 files changed, 34 insertions(+), 32 deletions(-) diff --git a/nightly/contribution/issues-and-pull-requests/index.html b/nightly/contribution/issues-and-pull-requests/index.html index 1e8daed2..a070f0d1 100644 --- a/nightly/contribution/issues-and-pull-requests/index.html +++ b/nightly/contribution/issues-and-pull-requests/index.html @@ -1101,13 +1101,15 @@
  • Fork the project.
  • Make your changes.
  • Make any documentation changes if necessary - if you add a new feature, it'll probably need documentation changes. See here for tips on documentation.
  • -
  • Commit and create a pull request to merge into the master branch. Please follow the pull request template.
  • -
  • Ask/wait for a maintainer to review your pull request.