Skip to content

Replace 'must' with 'shall' in sources directory#4

Merged
ronaldtse merged 3 commits into
3-change-must-to-shallfrom
copilot/fix-4a7efba9-4670-464a-ae07-66d02e18ed2b
Sep 13, 2025
Merged

Replace 'must' with 'shall' in sources directory#4
ronaldtse merged 3 commits into
3-change-must-to-shallfrom
copilot/fix-4a7efba9-4670-464a-ae07-66d02e18ed2b

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented Sep 13, 2025

This PR systematically replaces all occurrences of the term 'must' with 'shall' in the sources directory and subdirectories as requested.

Changes Made

  • 04-spec.adoc: Updated 8 validation rules in the "Validation rules for reference paths" section
  • 05-validation.adoc: Updated 16 validation rules across entity mapping, attribute mapping, reference path validation, and overall consistency sections

All changes maintain the same semantic meaning while using the more formal "shall" terminology, which is standard in technical specifications and requirements documentation.

Files Modified

  • sources/sections/04-spec.adoc (8 replacements)
  • sources/sections/05-validation.adoc (16 replacements)
  • .gitignore (added build artifacts exclusions)

Verification

  • ✅ All 24 occurrences of 'must' successfully replaced with 'shall'
  • ✅ AsciiDoc syntax validation passed
  • ✅ Documentation builds successfully with Metanorma
  • ✅ No remaining 'must' occurrences in sources directory
  • ✅ Generated HTML output confirmed the replacements

The changes are purely textual replacements that improve the formal tone of the specification without altering any functional requirements or technical content.

Warning

Firewall rules blocked me from connecting to one or more addresses (expand for details)

I tried to connect to the following addresses, but was blocked by firewall rules:

  • archive.ubuntulinux.jp
    • Triggering command: ruby /usr/local/bundle/bin/metanorma sources/document.adoc --agree-to-terms (dns block)
  • distrib-coffee.ipsl.jussieu.fr
    • Triggering command: ruby /usr/local/bundle/bin/metanorma sources/document.adoc --agree-to-terms (dns block)
  • ftp.jaist.ac.jp
    • Triggering command: ruby /usr/local/bundle/bin/metanorma sources/document.adoc --agree-to-terms (dns block)
  • ftp.klid.dk
    • Triggering command: ruby /usr/local/bundle/bin/metanorma sources/document.adoc --agree-to-terms (dns block)
  • ftp.sjtu.edu.cn
    • Triggering command: ruby /usr/local/bundle/bin/metanorma sources/document.adoc --agree-to-terms (dns block)
  • mirror.math.princeton.edu
    • Triggering command: ruby /usr/local/bundle/bin/metanorma sources/document.adoc --agree-to-terms (dns block)
  • mirrors.uni-ruse.bg
    • Triggering command: ruby /usr/local/bundle/bin/metanorma sources/document.adoc --agree-to-terms (dns block)
  • openvz.mirror.garr.it
    • Triggering command: ruby /usr/local/bundle/bin/metanorma sources/document.adoc --agree-to-terms (dns block)
  • web.archive.org
    • Triggering command: ruby /usr/local/bundle/bin/metanorma sources/document.adoc --agree-to-terms (dns block)

If you need me to access, download, or install something from one of these locations, you can either:


✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.

Copilot AI and others added 2 commits September 13, 2025 01:26
Co-authored-by: TRThurman <1623380+TRThurman@users.noreply.github.com>
Co-authored-by: TRThurman <1623380+TRThurman@users.noreply.github.com>
Copilot AI changed the title [WIP] change all the occurrences of the term 'must' to 'shall' in the sources directory and subdirectories Replace 'must' with 'shall' in sources directory Sep 13, 2025
Copilot AI requested a review from TRThurman September 13, 2025 01:28
@TRThurman TRThurman marked this pull request as ready for review September 13, 2025 01:40
@TRThurman
Copy link
Copy Markdown
Contributor

@ronaldtse Please review this PR for document version update requirement

@ronaldtse ronaldtse merged commit 1580e2a into 3-change-must-to-shall Sep 13, 2025
2 of 4 checks passed
@ronaldtse ronaldtse deleted the copilot/fix-4a7efba9-4670-464a-ae07-66d02e18ed2b branch September 13, 2025 05:28
@ronaldtse
Copy link
Copy Markdown
Contributor

Thank you @TRThurman !

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants