Lines Matching full:git

42       - name: Set git identity
44           git config --global user.name "${{ github.actor }}"
45           git config --global user.email "${{ github.actor }}@users.noreply.github.com"
57           if git rev-parse "release-${{ env.next_version }}" >/dev/null 2>&1; then
64           git merge -s ours origin/stable
66           git add VERSION
68           git add doku.php
69           git commit --amend -m 'Release preparations for ${{ env.next_raw }}'
70           git log -1
71           git log origin/stable..master --oneline
72           git checkout -B auto-${{ env.next_version }}
73           git push --set-upstream origin auto-${{ env.next_version }}