moveit / moveit2_packages Goto Github PK

Is there a GPG key or deploy key for this repository?

Apologies if this is a naive question. Installing debians locally works great, wished to ensure apt is set up to automatically update the packages.

I have already executed:

echo "deb [trusted=yes] https://raw.githubusercontent.com/moveit/moveit2_packages/jammy-rolling/ ./" | sudo tee /etc/apt/sources.list.d/moveit_moveit2_packages.list
echo "yaml https://raw.githubusercontent.com/moveit/moveit2_packages/jammy-rolling/local.yaml rolling" | sudo tee /etc/ros/rosdep/sources.list.d/1-moveit_moveit2_packages.list

A recent change to the moveit2_tutorials has broke the Isaac tutorial that depends on the images generated by this repo. I suspect that the latest change a few months ago by @jspricke to remove the cron job has stopped updating the binary image of moveit2, but I must admit that don't completely understand how this process works. Are these binaries automatically updated when something is pushed to a specific repo or is there a way that someone can manually update when they are built?