Fetch autonomy stack last update automatically

[natmol]

• Adds a script to automatically update the "Last update date" entry of the Autonomy stacks
• Includes a workflow to run the script every day at 1 am and push the changes

[knmcguire]

Ah nice! We are kind of also discussing if we want to change up the format of the aerial robotics landscape a bit to not include too much data and have a seperate best-of list (see this issue #90), but that is still up in the air. So I think we could merge this and we might change it up with inspiration from you script if necessary

@TOTON95 what do you think of this?

@mrpollo Seems like the PR review deployment fails, probably just an server error but perhaps you can take a quick look

[TOTON95]

@natmol This looks good, thank you! This will help a lot.

@knmcguire We can certainly use it as a solid starting point, and shape it accordingly to two questions:

1. Should we keep the fetch workflow isolated from the build, or perform a periodical build while fetching the latest commit dates?
2. (Kinda dependent on the first question) Should the update_repo_dates.py script be executed by the workflow, or by using the pre-build scripts used in mkdocs?

[knmcguire]

Good question. I think perhaps that a monthly fetch that is separate from the build might be a better idea here. Ofcourse updating it once a year is too long, but I don't thing we should do it with every change either.

for number 2... I don't think I have a preference for this, but if we want to keep it seperate from the build then it should just be a seperate script.

[TOTON95]

@knmcguire Sure, a monthly or bi-weekly build could be enough for this purpose. And yes, we can keep the script away from mkdocs.

[mrpollo]

@knmcguire unfurtunately there are security implications when allowing previews from forks, perhaps we should disable this action if the base is remote.

See rossjrw/pr-preview-action#6

[mrpollo]

I left a few comments

[mrpollo]

Thanks for the changes!

[mrpollo]

Thanks for the contribution @natmol 🎉