[Bug] PX4 msgs are no longer being synchronized

[beniaminopozzan]

Describe the bug

Although there is a Jenkin action for synchronizing the PX4 msgs and services on https://github.com/PX4/px4_msgs :

PX4-Autopilot/Jenkinsfile

Lines 223 to 251 in 208d37e

	stage('PX4 ROS msgs') {
	agent {
	docker { image 'px4io/px4-dev-base-focal:2021-08-18' }
	}
	steps {
	sh('export')
	sh('make distclean; git clean -ff -x -d .')
	withCredentials([usernamePassword(credentialsId: 'px4buildbot_github_personal_token', passwordVariable: 'GIT_PASS', usernameVariable: 'GIT_USER')]) {
	sh("git clone https://${GIT_USER}:${GIT_PASS}@github.com/PX4/px4_msgs.git")
	// 'main' branch
	sh('rm -f px4_msgs/msg/*.msg')
	sh('rm -f px4_msgs/msg/versioned/*.msg')
	sh('rm -f px4_msgs/srv/*.srv')
	sh('rm -f px4_msgs/srv/versioned/*.srv')
	sh('cp msg/*.msg px4_msgs/msg/')
	sh('mkdir -p px4_msgs/msg/versioned && cp msg/versioned/*.msg px4_msgs/msg/versioned/')
	sh('cp srv/*.srv px4_msgs/srv/')
	sh('mkdir -p px4_msgs/srv/versioned && cp srv/versioned/*.srv px4_msgs/srv/versioned/')
	sh('cd px4_msgs; git status; git add .; git commit -a -m "Update message definitions `date`" || true')
	sh('cd px4_msgs; git push origin main || true')
	sh('rm -rf px4_msgs')
	}
	}
	when {
	anyOf {
	branch 'main'
	}
	}
	}

The messages have not being synchronized since the beginning of December.

Previously the messages where synchronized by the github actions but that was removed in 652bb82

To Reproduce

No response

Expected behavior

Messages should be synchronized on every push on main

Screenshot / Media

No response

Flight Log

No response

Software Version

No response

Flight controller

No response

Vehicle type

None

How are the different components wired up (including port information)

No response

Additional context

No response