26ccd8 Fix static.o.o repo names

Authored and Committed by Christian Boltz 4 years ago
    Fix static.o.o repo names
    
    With the changed state name (now including the branch name), we need to
    explicitely pass the repo name