Skip to content

Create devcontainer.json#164

Open
milyes wants to merge 4 commits into
microsoft:mainfrom
milyes:main
Open

Create devcontainer.json#164
milyes wants to merge 4 commits into
microsoft:mainfrom
milyes:main

Conversation

@milyes

@milyes milyes commented Aug 16, 2024

Copy link
Copy Markdown

ok

@milyes
milyes marked this pull request as ready for review August 16, 2024 14:48
@milyes

milyes commented Aug 16, 2024

Copy link
Copy Markdown
Author

ok

@milyes

milyes commented Aug 16, 2024

Copy link
Copy Markdown
Author

robot

ok

@milyes

milyes commented Aug 16, 2024

Copy link
Copy Markdown
Author

1721949991669

@milyes
milyes marked this pull request as draft August 16, 2024 17:06

@milyes milyes left a comment

Copy link
Copy Markdown
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ok

@milyes

milyes commented Aug 16, 2024

Copy link
Copy Markdown
Author

robot

d'accord

ok

@milyes

milyes commented Aug 18, 2024

Copy link
Copy Markdown
Author

@microsoft-github-policy-service agree [company="{your company}"]

@microsoft-github-policy-service

Copy link
Copy Markdown

@milyes the command you issued was incorrect. Please try again.

Examples are:

@microsoft-github-policy-service agree

and

@microsoft-github-policy-service agree company="your company"

@milyes
milyes marked this pull request as ready for review August 18, 2024 23:52
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