address change

[Wladimir Lyra]

It seems that this page is outdated 

http://pencil-code.nordita.org/download.php

To download it states the address as

https://pencil-code.org/git/

whereas the correct address is

https://github.com/pencil-code/pencil-code.git

I tried to push earlier and got a 500 error

$ git push
fatal: unable to access 'https://pencil-code.org/git/': The requested URL returned error: 500

[Philippe-A. Bourdin]

Hello,

just for information of the public, the above error was only temporal and the original address (pencil-code.org) and webpages are correct.

You may use the github URL for a read-only checkout, if urgently needed - github can act as a backup address, but you will not be able to push changes to there. For pushing commits, please change the remote URL as mentioned on the website.

Thanks for reporting and best greetings,
Philippe.