Skip to content

Update docs index attribution#21

Merged
krahd merged 1 commit into
mainfrom
copilot/docs-index-attribution
May 10, 2026
Merged

Update docs index attribution#21
krahd merged 1 commit into
mainfrom
copilot/docs-index-attribution

Conversation

@krahd
Copy link
Copy Markdown
Owner

@krahd krahd commented May 10, 2026

Documentation-only change to remove the author attribution sentence from docs/index.html.

Copy link
Copy Markdown

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 6a3d7c8163

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread docs/index.html
The project was initiated by
<a href="https://laurenzo.net/">Tomas Laurenzo</a>
and continues as a public, free and libre software effort oriented toward research, pedagogy, and critical AI literacy.
The project continues as a public, free and libre software effort oriented toward research, pedagogy, and critical AI literacy.
Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P1 Badge Update STATUS.md with the docs change

For this documentation change, STATUS.md was not updated even though the repository instructions in AGENTS.md require reviewing and updating it for any documentation/project-state change and treat stale timestamps as a blocking documentation error. The current STATUS.md still shows Last updated: 2026-05-10 17:21, while this commit was made at 2026-05-10 20:35 UTC, so the status report no longer reflects the latest docs update.

Useful? React with 👍 / 👎.

@krahd krahd merged commit 5eb6aa8 into main May 10, 2026
5 checks passed
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.

1 participant