try another method for pushing changes #7

	name: build

	on:
	workflow_dispatch:
	push:

	jobs:
	build:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v3

	- name: Set up the Java JDK
	uses: actions/setup-java@v3
	with:
	java-version: "17"
	distribution: "adopt"

	- name: Build with Maven
	run: mvn -B test

	- name: Generate JaCoco report
	run: mvn jacoco:prepare-agent test install jacoco:report

	- name: Generate JaCoCo Badge
	id: jacoco
	uses: cicirello/jacoco-badge-generator@v2

	- name: Log coverage percentage
	run: \|
	echo "coverage = ${{ steps.jacoco.outputs.coverage }}"
	echo "branch coverage = ${{ steps.jacoco.outputs.branches }}"

	- name: Commit the badge (if it changed)
	run: \|
	if [[ `git status --porcelain` ]]; then
	git config --global user.name 'Github Action'
	git config --global user.email 'action@github.com'
	git add -A
	git commit -m "Autogenerated JaCoCo coverage badge"
	fi

	- name: push changes
	run: git push https://${{ secrets.GITHUB_PAT }}@github.com/creme332/tizc.git

Provide feedback