ELPA question with externals: do I need to push to ELPA manually or is it done automatically?

-- 
Pierre Neidhardt
https://ambrevar.xyz/