push to github after merging

since `addCleanup` just expects a callable you can provide the function directly instead of wrapping it in a lambda. Same for further below.