Skip to content

Set global git option to ignore directory owner#1578

Merged
iakov merged 2 commits intotrikset:masterfrom
iakov:master
Sep 11, 2022
Merged

Set global git option to ignore directory owner#1578
iakov merged 2 commits intotrikset:masterfrom
iakov:master

Conversation

@iakov
Copy link
Member

@iakov iakov commented Sep 11, 2022

No description provided.

@iakov iakov added this to the 2022.2 milestone Sep 11, 2022
@iakov iakov merged commit fc91446 into trikset:master Sep 11, 2022
@mergify
Copy link
Contributor

mergify bot commented Sep 12, 2022

⚠️ The sha of the head commit of this PR conflicts with #1580. Mergify cannot evaluate rules on this PR. ⚠️

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant