infocalypse
 

Commit (click to see the diff): 3db2056597c2194a5629b987f660fb900031e531

Fix the repository list not updating on push. This means returning the request URIs from execute_push() as intended, which highlights the inconsistency between returning it from execute_create() and execute_push() but nothing else. It is somewhat awkward to have to query WoT for the identity, as the insert URI is present in insert_uri, but wot.py functions largely require a WoT_ID or Local_WoT_ID.

Steve Dougherty

Diffstat


    
Files in this revision