Skip to content

Commit

Permalink
Add workspace_name to pylint ID
Browse files Browse the repository at this point in the history
  • Loading branch information
jirik committed Jul 24, 2023
1 parent d5d2194 commit 59d1c40
Showing 1 changed file with 3 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -930,6 +930,9 @@ def get_internal_pylint_id(query_params):
publ_type = query_params.get('pub_type')
if publ_type:
pylint_id_parts.append(('type', publ_type.split('.')[1] if publ_type else publ_type))
workspace = query_params.get('workspace_name')
if workspace:
pylint_id_parts.append(('workspace', workspace))

pylint_id_parts += rest_params_to_pylint_id_parts(query_params)
return pylint_id_parts_to_string(pylint_id_parts)
Expand Down

0 comments on commit 59d1c40

Please sign in to comment.