[libre-riscv-dev] salsa.debian.org down?

[Jacob Lifshay]

(removed debian-project from list since we don't need to bother them
about non-debian stuff)

On Tue, Feb 11, 2020 at 10:27 PM Luke Kenneth Casson Leighton
<lkcl at lkcl.net> wrote:
>
> On Wednesday, February 12, 2020, Jacob Lifshay <programmerjake at gmail.com>
> wrote:
>
> >
> > Pinging it seems to work fine.
> >
> > Anyone else having trouble?
>
>
> https://downforeveryoneorjustme.com/salsa.debian.org
>
> we have the backup (2nd git repo)

I just pushed to the GitHub mirror for now. Once salsa goes back up,
I'll push there again.

Jacob