principia, 22 days ago Since a while back, most of the Principia source repositories are now mirrored onto #codeberg under the Principia organisation: https://codeberg.org/principia While they are read-only at the moment and Github is still the canonical source, it should be possible to open pull requests from the Codeberg side to contribute sometime in the future and have it reflect in the other direction.
Since a while back, most of the Principia source repositories are now mirrored onto #codeberg under the Principia organisation:
https://codeberg.org/principia
While they are read-only at the moment and Github is still the canonical source, it should be possible to open pull requests from the Codeberg side to contribute sometime in the future and have it reflect in the other direction.
Add comment