[#1486] teach push_re.py a new spelling for release tags
...to avoid collisions with sfpy on shared repos (currently sftheme).
Also some very minor cleanup.
Signed-off-by: Wolf wolf@geek.net
Authored by: Wolf 2011-02-10
Parent(s): [f0bebf]
Child(ren): [df3fe5]
Wolf
