Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Authors are pilots of kolibri #11805

Merged
merged 5 commits into from
Jan 26, 2024
Merged

Authors are pilots of kolibri #11805

Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
9280104
test
vkWeb Jan 4, 2024
206535b
trying to fix git push
vkWeb Jan 26, 2024
0fa6f43
Remove change
vkWeb Jan 26, 2024
78a3a08
Merge branch 'develop' into authors-are-pilots-of-kolibri
vkWeb Jan 26, 2024
0e571ee
Finale Time!
vkWeb Jan 26, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
17 changes: 13 additions & 4 deletions .github/workflows/add_contributor.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -32,11 +32,22 @@ jobs:

if: needs.check_contributor_exists.outputs.is_contributor_in_file == 'false'

permissions:
contents: write

steps:
- name: Checkout repository
uses: actions/checkout@v4
with:
ref: ${{ github.head_ref }}
fetch-depth: 0

- name: Set up Git and checkout PR's branch
run: |
git config --global user.name 'github-actions[bot]'
git config --global user.email 'github-actions[bot]@users.noreply.github.com'

git fetch origin refs/pull/${{ github.event.number }}/head:pr
git checkout pr

- name: Get contributor's full name and append to AUTHORS.md file
run: |
Expand All @@ -49,8 +60,6 @@ jobs:

- name: Commit and push changes to the contributor's PR branch
run: |
git config --global user.name 'github-actions[bot]'
git config --global user.email 'github-actions[bot]@users.noreply.github.com'
git add AUTHORS.md
git commit -m "Add ${{ github.event.pull_request.user.login }} to AUTHORS.md"
git push origin ${{ github.head_ref }}
git push origin pr:${{ github.event.pull_request.head.ref }}
Loading