audacity/audacity-manual
1
0
Fork 0
mirror of https://github.com/audacity/audacity-manual.git synced 2026-04-12 21:24:36 -05:00
Code Issues 11 Packages Projects Releases 10 Wiki Activity

[PR #11] [MERGED] Merge devel into master #12

New Issue
Closed
opened 2025-09-09 19:39:16 -05:00 by Octech6711 · 0 comments
Octech6711 commented 2025-09-09 19:39:16 -05:00
Owner
Copy Link

📋 Pull Request Information

Original PR: https://github.com/audacity/audacity-manual/pull/11
Author: @crsib
Created: 11/16/2023
Status: ✅ Merged
Merged: 11/16/2023
Merged by: @crsib

Base: master ← Head: devel

📝 Commits (2)

  • 2168afd Adds basic Auth to mw2html
  • 8d56970 Merge branch 'devel' of github.com:audacity/audacity-manual into devel

📊 Changes

2 files changed (+18 additions, -9 deletions)

View changed files

📝 .github/workflows/update_manual.yml (+4 -0)
📝 scripts/mw2html_audacity/mw2html.py (+14 -9)

📄 Description

No description provided

🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.

## 📋 Pull Request Information **Original PR:** https://github.com/audacity/audacity-manual/pull/11 **Author:** [@crsib](https://github.com/crsib) **Created:** 11/16/2023 **Status:** ✅ Merged **Merged:** 11/16/2023 **Merged by:** [@crsib](https://github.com/crsib) **Base:** `master` ← **Head:** `devel` --- ### 📝 Commits (2) - [`2168afd`](https://github.com/audacity/audacity-manual/commit/2168afd3a0435ad0465048b497ecc5912294616e) Adds basic Auth to mw2html - [`8d56970`](https://github.com/audacity/audacity-manual/commit/8d56970d1849c28b9570768f18f8edde647b6a27) Merge branch 'devel' of github.com:audacity/audacity-manual into devel ### 📊 Changes **2 files changed** (+18 additions, -9 deletions) <details> <summary>View changed files</summary> 📝 `.github/workflows/update_manual.yml` (+4 -0) 📝 `scripts/mw2html_audacity/mw2html.py` (+14 -9) </details> ### 📄 Description _No description provided_ --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
Octech6711 added the pull-request label 2025-09-09 19:39:16 -05:00
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
pull-request
Mirrored from GitHub Pull Request
No Label pull-request
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
Octech6711
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: audacity/audacity-manual#12
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?