Checkout
Julian Foad
committed
on 18 Sep
* tools/dist/release.py: Move '--username' to be a global option.
This also fixes a case where a username could not be specified for one o… Show more
* tools/dist/release.py: Move '--username' to be a global option.

 This also fixes a case where a username could not be specified for one of

 the commit operations. Show less