Skip to content

Commit 8043545

Browse files
committed
update public from nginx/documentation
1 parent 6a2c2be commit 8043545

File tree

2 files changed

+33
-1
lines changed

2 files changed

+33
-1
lines changed

.gitattributes

Lines changed: 8 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,11 @@
11
# Set the default behavior for correcting line endings,
22
# in case people don't have core.autocrlf set.
33
* text=auto
4-
4+
F5-NGINX-team-notes.md merge=ours
5+
README.md merge=ours
6+
LICENSE merge=ours
7+
CONTRIBUTING_DOCS.md merge=ours
8+
CONTRIBUTING.md merge=ours
9+
.github/pull_request_template.md merge=ours
10+
.github/workflows/update_from_nginx_documentation.yml merge=ours
11+
.gitattributes merge=ours
Lines changed: 25 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,25 @@
1+
name: Sync from nginx/documentaion to public
2+
3+
on:
4+
workflow_dispatch:
5+
schedule:
6+
- cron: "*/10 * * * *"
7+
8+
permissions:
9+
contents: write
10+
11+
jobs:
12+
checkout:
13+
runs-on: ubuntu-latest
14+
if: github.ref == 'refs/heads/main'
15+
16+
steps:
17+
- name: Update Private
18+
run: |
19+
eval `ssh-agent -s`
20+
echo "${{ secrets.UPDATE_REPO }}" | ssh-add -
21+
git clone https://github.com/nginx/documentation.git
22+
cd documentation
23+
git remote add private [email protected]:nginx/documentation-private.git
24+
git checkout -b public
25+
git push private public

0 commit comments

Comments
 (0)