Add gg.cmd run-pr xyz

[koppor]

This ports JabRef/user-documentation#571 to a blog post.

I am not sure about trouble shooting about missing "justfile"

• a) leave it in the blog post as it is mostly temporary (contributors should merge main)
• b) omit it comletely
• c) have it in the user documetnation

I like a) best, because we cannot assume contributors merging main fast.

I can also live with b) as it is unlikely that people try to use this in the next days?

Enabled by eirikb/gg#112.

[koppor]

META: I think, this approach is more easy for us than working that our build server can offer binaries of external pull requests or getting https://nightly.link/ working with external pull requests.

[koppor]

With JabRef/jabref#13200, the advanced hints got easier.

[koppor]

I'm not sure whether ### Using a Windows Sandbox is nice or not - see last update.