Compare commits

..

No commits in common. "main" and "oliver-patch-1" have entirely different histories.

4 changed files with 15 additions and 21 deletions

View file

@ -11,14 +11,14 @@ jobs:
runs-on: ubuntu-latest
if: github.event_name != 'push'
steps:
- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4
- uses: actions/checkout@v4
- run: date > reports/ubuntu_report_minimal.txt
- uses: https://w9r.dev/w9r.dev/action-git-commit-push@main
ubuntu-full:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4
- uses: actions/checkout@v2.3.4
- run: date > reports/ubuntu_report_full.txt
- uses: https://w9r.dev/w9r.dev/action-git-commit-push@main
with:
@ -36,5 +36,5 @@ jobs:
ubuntu-nochanges:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4
- uses: actions/checkout@v2.3.4
- uses: GuillaumeFalourd/git-commit-push@main

View file

@ -6,7 +6,7 @@ inputs:
email:
description: Committer's email address
required: true
default: ${{ github.actor }}@w9r.dev
default: ${{ github.actor }}@users.noreply.github.com
name:
description: Committer's username
required: true
@ -69,11 +69,11 @@ runs:
TAGS='--tags'
fi
echo "machine w9r.dev" > "$HOME/.netrc"
echo "machine github.com" > "$HOME/.netrc"
echo " login $GITHUB_ACTOR" >> "$HOME/.netrc"
echo " password ${{ inputs.access_token }}" >> "$HOME/.netrc"
echo "machine api.w9r.dev" >> "$HOME/.netrc"
echo "machine api.github.com" >> "$HOME/.netrc"
echo " login $GITHUB_ACTOR" >> "$HOME/.netrc"
echo " password ${{ inputs.access_token }}" >> "$HOME/.netrc"
@ -82,7 +82,7 @@ runs:
if [[ `git status --porcelain` ]]; then
git add ${{ inputs.files }} -v
git commit -S -m "${{ inputs.commit_message }}" $EMPTY
git commit -m "${{ inputs.commit_message }}" $EMPTY
git branch git-commit-push-action-${{ github.run_id }}-${{ github.job }}
git fetch "${{ inputs.remote_repository }}" "$CURRENT_BRANCH"
git checkout "$CURRENT_BRANCH"
@ -117,7 +117,7 @@ runs:
CLONE_DIRECTORY=$(mktemp -d)
echo "##### Cloning destination W9r.dev repository #####"
echo "##### Cloning destination Github repository #####"
# Setup git
git config --global user.email "${{ inputs.email }}"
git config --global user.name "${{ inputs.name }}"
@ -125,7 +125,7 @@ runs:
git clone "https://${{ inputs.access_token }}@github.com/$DESTINATION_OWNER/$DESTINATION_REPOSITORY.git" "$CLONE_DIRECTORY"
echo
echo "##### Copying contents to remote W9r.dev repository #####"
echo "##### Copying contents to remote Github repository #####"
echo ""##### Current repo content #####"
ls -lha
cp -rvf ${{ inputs.files }} $CLONE_DIRECTORY
@ -134,7 +134,7 @@ runs:
echo ""##### Remote repo content after copying files #####"
ls -la "$CLONE_DIRECTORY"
REMOTE_URL=https://$DESTINATION_OWNER:${{ inputs.access_token }}@w9r.dev/$DESTINATION_OWNER/$DESTINATION_REPOSITORY
REMOTE_URL=https://$DESTINATION_OWNER:${{ inputs.access_token }}@github.com/$DESTINATION_OWNER/$DESTINATION_REPOSITORY
git remote set-url origin $REMOTE_URL
git fetch origin
@ -164,13 +164,13 @@ runs:
echo
echo "WARNING: Couldn't read remote_repository URL input."
echo "ACCEPTED FORMAT:"
echo "git://w9r.dev/<owner>/<repo>.git"
echo "git://github.com/<owner>/<repo>.git"
echo "or"
echo "git@w9r.dev:<owner>/<repo>.git"
echo "git@github.com:<owner>/<repo>.git"
echo "or"
echo "https://w9r.dev/<owner>/<repo>.git"
echo "https://github.com/<owner>/<repo>.git"
echo "or"
echo "https://w9r.dev/<owner>/<repo>"
echo "https://github.com/<owner>/<repo>"
exit 1
fi
shell: bash

View file

@ -1,6 +0,0 @@
{
"$schema": "https://docs.renovatebot.com/renovate-schema.json",
"extends": [
"local>w9r.dev/renovate-config"
]
}

View file

@ -1 +1 @@
Thu Feb 6 02:00:19 UTC 2025
Tue Jan 7 02:42:57 UTC 2025