[arch-dev-public] devtools and specifying a username

[Dan McGee]

Hey guys, especially the new ones,

I noticed this commit tonight on devtools:
Specify upload server in variable
Allan McRae [Fri, 9 Jan 2009 14:11:59 +0000 (00:11 +1000)]
This means people with different usernames on their local machine
only need to change a single line.

http://projects.archlinux.org/?p=devtools.git;a=commitdiff;h=1b178621a5fc1ec088c27fd419458d93d80aeb0f

While well intentioned, it is completely wrong and means you have to
update your script every time a devtools update comes! Use .ssh/config
and set things up right by adding something like the following:

Host svn.archlinux.org
User dan

Host archlinux.org
User dan

-Dan