I think the answer to your question is 'yes'. I will check with Frank who has been hosting the repository since the early days.

/js

On Mon, Jan 04, 2021 at 12:46:28PM -0800, Gerald Combs via Libsmi wrote:

Thanks! That brings up another question: Would it make sense to move the official repository to Github, GitLab, or a similar hosting service? It might be useful to have automated testing and builds.

On 1/4/21 12:37 PM, Claus Klein wrote:

...

There is a mirror on github:

https://github.com/jwilk-mirrors/libsmi https://github.com/jwilk-mirrors/libsmi

...

Am 04.01.2021 um 00:25 schrieb Gerald Combs via Libsmi <libsmi@ibr.cs.tu-bs.de mailto:libsmi@ibr.cs.tu-bs.de>:

Hi,

I'm attempting to check out the libsmi SVN trunk, but unfortunately the server appears to be down:

$ svn co http://svn.ibr.cs.tu-bs.de/software-ibr-1999-libsmi/trunk http://svn.ibr.cs.tu-bs.de/software-ibr-1999-libsmi/trunk libsmi svn: E170013: Unable to connect to a repository at URL 'http://svn.ibr.cs.tu-bs.de/software-ibr-1999-libsmi/trunk http://svn.ibr.cs.tu-bs.de/software-ibr-1999-libsmi/trunk' svn: E120108: Error running context: The server unexpectedly closed the connection.

$ curl -I http://svn.ibr.cs.tu-bs.de/software-ibr-1999-libsmi http://svn.ibr.cs.tu-bs.de/software-ibr-1999-libsmi curl: (7) Failed to connect to svn.ibr.cs.tu-bs.de http://svn.ibr.cs.tu-bs.de port 80: Connection refused -- !! This message is brought to you via the `libsmi' mailing list. !! Please do not reply to this message to unsubscribe. To unsubscribe or adjust !! your settings, send a mail message to <libsmi-request@ibr.cs.tu-bs.de mailto:libsmi-request@ibr.cs.tu-bs.de> !! or look at https://mail.ibr.cs.tu-bs.de/listinfo/libsmi https://mail.ibr.cs.tu-bs.de/listinfo/libsmi.

-- !! This message is brought to you via the `libsmi' mailing list. !! Please do not reply to this message to unsubscribe. To unsubscribe or adjust !! your settings, send a mail message to libsmi-request@ibr.cs.tu-bs.de !! or look at https://mail.ibr.cs.tu-bs.de/listinfo/libsmi.