Manage bad branch names

pyccel · Jul 9, 2024 · ea733a7 · ea733a7
1 parent 2b005bd
commit ea733a7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/ci_tools/bot_tools/bot_funcs.py b/ci_tools/bot_tools/bot_funcs.py
@@ -122,8 +122,8 @@ def __init__(self, pr_id = None, check_run_id = None, commit = None):
  self._source_repo = self._pr_details["base"]["repo"]["full_name"]
  if commit:
  self._ref = commit
- if '/' in self._ref:
- _, _, branch = self._ref.split('/',2)
+ if self._ref.count('/') == 2:
+ _, _, branch = self._ref.split('/')
  branch_info = self._GAI.get_branch_details(branch)
  self._ref = branch_info['commit']['sha']
  else: