.gitmodules: Change pybind11 URL from relative to absolute

runtimeverification / llvm-backend

KORE to llvm translation

BSD 3-Clause "New" or "Revised" License

34 stars 22 forks source link

.gitmodules: Change pybind11 URL from relative to absolute #1100

Closed 0cjs closed 3 months ago

0cjs commented 3 months ago

All the other URLs are absolute, so logically this one should match. Additionally, the relative URL will break if someone's main remote is not on GitHub.

0cjs commented 3 months ago

If you need to contact me about this, the best way to do so is in the Pi Squared slack, or at curt.sampson@pi2.network.

Baltoli commented 3 months ago

We can't run PRs from forks currently, unfortunately - I've cherry-picked your PR over to #1101; it'll need approval from an ex-RV member of the Pi2 team though.

cc @F-WRunTime as we've discussed this workflow previously - perhaps worth keeping an eye on should more changes come over from Pi2.