svn -> git changes before release?

[Qian Yun]

We should change mentions of svn to git in various places when
appropriate. Also change sourceforge to github as well.

- Qian

[Ralf Hemmecke]

On 17.03.21 14:39, Qian Yun wrote:
> We should change mentions of svn to git in various places when
> appropriate. Also change sourceforge to github as well.

When I grep svn, I do not find too many things. Instead of INSTALL I
will put something like

https://github.com/hemmecke/fricas/blob/wip/rstdoc/src/doc/sphinx/source/install.rst

to the web.

But yes, you are right, also the documentation should make it clear that
we are now at github.

Ralf

[Waldek Hebisch]

On Wed, Mar 17, 2021 at 09:39:12PM +0800, Qian Yun wrote:
> We should change mentions of svn to git in various places when
> appropriate. Also change sourceforge to github as well.

Yes, that will be included in updates before release.

--
Waldek Hebisch