If you want to help with development, the documentation is here: https://trisquel.info/en/wiki/development-0
And the source code is here: https://devel.trisquel.info/groups/trisquelYou can try to get pull requests from git that ruben can import and save him some time, but afaik everything still goes through him before being pushed.
