Add GitHub Action workflow to update man pages #48784
Conversation
| done | ||
|
|
||
| # rm -rf docs-main | ||
| rm -rf docs-main |
There was a problem hiding this comment.
This is a sub-repo (or a subdirectory) that we never want to git add.
| run: | | ||
| set -euo pipefail | ||
| rm ./documentation/manpages/sdk/* |
There was a problem hiding this comment.
Deleting everything allows stale pages to be removed.
|
Sample run: https://github.com/omajid/dotnet-sdk/actions/runs/14765764022 PR that it opened: omajid#3 |
|
I chatted with some folks internally and they've ok'd it. Let's get the email/username thing updated and get this in! |
|
I am curious. Does this target changes to |
The docs say that |
This repo contains man pages. They are generated from another repo, and need to be updated manually. Generally, someone updates them once a year or so, and often it's too late for GA: - dotnet#36447 - dotnet#29032 So automate the update using GitHub Actions.
- Use better name/email for git commit - More details in the PR
omajid
force-pushed
the
workflow-update-man-pages
branch
from
22260ed to
f54b3b2
Compare
|
Thanks, @baronfel ! PR is good to go from my side. |
Oh great thanks, wasn't sure about that :) |
|
Thanks for the contribution. Good idea to automate this more. |
6 participants
This repo contains man pages. They are generated from another repo, and need to be updated manually. Generally, someone updates them once a year or so, and often it's too late for GA:
So automate the update using GitHub Actions.