Commit 917dc447 authored by Guilhem Saurel's avatar Guilhem Saurel
Browse files

stop after delete

parent 142438f3
......@@ -56,6 +56,7 @@ def push(request: HttpRequest, rep: str) -> HttpResponse:
branch_u = ref_s.replace('/', '%2F')
url = f'/projects/{project_u}/repository/branches/{branch_u}'
requests.delete(gitlab.api_url() + url, verify=gitlab.verify, headers=gitlab.headers())
return HttpResponse(rep)
if str(gh_ref.commit) != data['after']:
fail = f'push: wrong commit: {gh_ref.commit} vs {data["after"]}'
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment