On https://devuan.org/os/etc/apt/sources.list for adding the proposed
repo advise is:

# /etc/apt/sources.listdeb http://deb.devuan.org/devuan <release
codename>-proposed main deb-src http://deb.devuan.org/devuan <release
codename>-proposed main

Using this gives a Inrelease file not found error. Changing the line in

deb http://deb.devuan.org/devuan <release codename>-proposed-updates main

resolves it. But which one is correct?

Grtz.

Nick