even if the git repo is hosted in Github/Gitlab, one can still use the
CLI rather then their web interface. it would just essentially be a
different server.
On 4/23/25 9:24 AM, Valerio Messina via sigrok-devel wrote:
On 4/23/25 2:07 PM, Tomas Mudrunka via sigrok-devel wrote:
Why not just move everything to gitlab or github?
they had setup a dedicated personal git server, and for who prefer CLI
interface it is easier than WEB frontend github/lab.
Many time the developer expressed the dislikes for WEB frontend, up to
him
_______________________________________________
sigrok-devel mailing list
sigrok-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/sigrok-devel
