If you can read this at https://wiki.gregory.town/hello/, LAN push-to-deploy is working.
https://wiki.gregory.town/hello/