-
Notifications
You must be signed in to change notification settings - Fork 26
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Signed-off-by: Kartikay <kartikay_2101ce32@iitp.ac.in>
- Loading branch information
1 parent
753fe21
commit 6b469e5
Showing
5 changed files
with
136 additions
and
3 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,85 @@ | ||
| --- | ||
| name: "Sync Generated Docs" | ||
| on: # yamllint disable-line rule:truthy | ||
| push: | ||
| branches: | ||
| - "main" | ||
|
|
||
| env: | ||
| DOCS_REPO: "authzed/docs" | ||
| DOCS_BRANCH: "main" | ||
| GENERATED_DOCS_DIR: "docs" | ||
| TARGET_DOCS_DIR: "pages/zed" | ||
|
|
||
| permissions: | ||
| contents: "write" | ||
| pull-requests: "write" | ||
|
|
||
| jobs: | ||
| generate-and-sync-docs: | ||
| runs-on: "ubuntu-latest" | ||
| steps: | ||
| - name: "Checkout source repository" | ||
| uses: "actions/checkout@v3" | ||
| with: | ||
| fetch-depth: 1 | ||
|
|
||
| - name: "Set up Go" | ||
| uses: "actions/setup-go@v4" | ||
| with: | ||
| go-version: 1.20 | ||
|
|
||
| - name: "Generate documentation" | ||
| run: | | ||
| cd magefiles | ||
| if ! mage GenerateDocs; then | ||
| echo "Documentation generation failed" | ||
| exit 1 | ||
| fi | ||
| - name: "Clone docs repository" | ||
| run: | | ||
| git clone --depth 1 --branch $DOCS_BRANCH https://github.com/$DOCS_REPO.git docs-repo || { | ||
| echo "Failed to clone docs repository" | ||
| exit 1 | ||
| } | ||
| - name: "Compare generated docs with target docs" | ||
| id: "compare" | ||
| run: | | ||
| rsync -r --delete $GENERATED_DOCS_DIR/ docs-repo/$TARGET_DOCS_DIR | ||
| cd docs-repo | ||
| if git diff --exit-code; then | ||
| echo "No changes detected in docs." | ||
| echo "changes_detected=false" >> $GITHUB_ENV | ||
| else | ||
| echo "Changes detected in docs." | ||
| echo "changes_detected=true" >> $GITHUB_ENV | ||
| fi | ||
| - name: "Configure Git" | ||
| if: "env.changes_detected == true" | ||
| run: | | ||
| cd docs-repo | ||
| git config user.name "GitHub Actions" | ||
| git config user.email "actions@github.com" | ||
| - name: "Commit and push changes if any" | ||
| if: "env.changes_detected == true" | ||
| run: | | ||
| cd docs-repo | ||
| git add $TARGET_DOCS_DIR | ||
| git commit -m "Update generated docs" | ||
| git push origin $DOCS_BRANCH | ||
| - name: "Create a pull request" | ||
| if: "env.changes_detected == true" | ||
| uses: "peter-evans/create-pull-request@v5" | ||
| with: | ||
| token: "${{ secrets.GITHUB_TOKEN }}" | ||
| commit-message: "Update generated docs" | ||
| branch: "update-generated-docs" | ||
| title: "Sync generated docs" | ||
| body: | | ||
| This PR updates the generated documentation files in `$TARGET_DOCS_DIR` with the latest version from the main repository. | ||
| base: "$DOCS_BRANCH" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,34 @@ | ||
| //go:build mage | ||
| // +build mage | ||
|
|
||
| package main | ||
|
|
||
| import ( | ||
| "os" | ||
|
|
||
| "github.com/authzed/zed/internal/cmd" | ||
| "github.com/jzelinskie/cobrautil/v2/cobrazerolog" | ||
| "github.com/magefile/mage/mg" | ||
| "github.com/spf13/cobra/doc" | ||
| ) | ||
|
|
||
| type Gen mg.Namespace | ||
|
|
||
| // All Run all generators in parallel | ||
| func (g Gen) All() error { | ||
| mg.Deps(g.Docs) | ||
| return nil | ||
| } | ||
|
|
||
| // Generate markdown files for zed. | ||
| func (Gen) Docs() error { | ||
| targetDir := "../docs" | ||
|
|
||
| err := os.MkdirAll("../docs", os.ModePerm) | ||
| if err != nil { | ||
| return err | ||
| } | ||
|
|
||
| rootCmd := cmd.InitialiseRootCmd(cobrazerolog.New()) | ||
| return doc.GenMarkdownTree(rootCmd, targetDir) | ||
| } |