Hamza currently maintains his own Github fork of every Lino project. This involves a lot of clicks for every commit. Hamza should work by committing directly into the official repos.  Adapt documentation in /dev/team.rst and /dev/request_pull.rst (both worflow models should be documented).