From be0a0572daf8597c5b9aa499155ce7ef8314adfd Mon Sep 17 00:00:00 2001 From: Landon Curt Noll Date: Fri, 8 Mar 2024 14:52:21 -0800 Subject: [PATCH] add faq.html#pull_request name for FAQ 6.10 --- faq.html | 2 +- faq.md | 2 +- sitemap.xml | 4 ++-- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/faq.html b/faq.html index 90c4708b2..b74e2cd05 100644 --- a/faq.html +++ b/faq.html @@ -2752,7 +2752,7 @@ Moreover, out of habit, the IOCCC judges sometimes use old names such as entry when they should use submission. Sorry (tm Canada)! :-)

FAQ +id="faq-6.10-how-does-someone-make-a-change-to-a-file-and-submit-that-change-as-a-github-pull-request">FAQ 6.10: How does someone make a change to a file and submit that change as a GitHub pull request?

First, if you do not already have a GitHub account or you have not diff --git a/faq.md b/faq.md index 4864ff823..eadc59e38 100644 --- a/faq.md +++ b/faq.md @@ -3065,7 +3065,7 @@ such as old rules and old guidelines, terms such as _entry_ may still be found. Moreover, out of habit, the IOCCC judges sometimes use old names such as _entry_ when they should use _submission_. Sorry (tm Canada)! :-) -### FAQ 6.10: How does someone make a change to a file and submit that change as a GitHub pull request? +### FAQ 6.10: How does someone make a change to a file and submit that change as a GitHub pull request? First, if you do not already have a GitHub account or you have not installed an ssh key to your account you must do so. For this we will assume you do not have diff --git a/sitemap.xml b/sitemap.xml index c5cea826b..3d1491a2f 100644 --- a/sitemap.xml +++ b/sitemap.xml @@ -19258,11 +19258,11 @@ https://ioccc-src.github.io/temp-test-ioccc/faq.html - 2024-03-05T22:43:44+00:00 + 2024-03-08T22:51:49+00:00 https://ioccc-src.github.io/temp-test-ioccc/faq.md - 2024-03-05T22:43:27+00:00 + 2024-03-08T22:50:53+00:00 https://ioccc-src.github.io/temp-test-ioccc/inc/README.md