On 05/13/2018 08:57 PM, Alec Warner wrote: > https://wiki.gentoo.org/wiki/Project:Infrastructure/Mailing_Lists#Managing_the_Gentoo-Dev_whitelist There's in the wiki a sentence : "(add the |-s| to the push command). " But IMO it should be upper case "-S", or ? -- Toralf PGP 23217DA7 9B888F45