Skip to content

chore: react to deploy-pr comment#8284

Merged
matifali merged 3 commits into
mainfrom
matifali-patch-1
Jun 30, 2023
Merged

chore: react to deploy-pr comment#8284
matifali merged 3 commits into
mainfrom
matifali-patch-1

Conversation

@matifali

@matifali matifali commented Jun 30, 2023

Copy link
Copy Markdown
Member

No description provided.

cdr-bot[bot]
cdr-bot Bot approved these changes Jun 30, 2023
View reviewed changes

@cdr-bot cdr-bot Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

This PR is a hotfix and has been automatically approved.

  • ✅ Base is main
  • ✅ Has hotfix label
  • ✅ Head is from coder/coder
  • ✅ Less than 100 lines

@matifali matifali enabled auto-merge (squash) June 30, 2023 22:11
@coder coder deleted a comment from github-actions Bot Jun 30, 2023
@coder coder deleted a comment from github-actions Bot Jun 30, 2023
@matifali matifali disabled auto-merge June 30, 2023 22:22
@matifali matifali enabled auto-merge (squash) June 30, 2023 22:22
@matifali matifali merged commit dad4876 into main Jun 30, 2023
@matifali matifali deleted the matifali-patch-1 branch June 30, 2023 22:25
@github-actions github-actions Bot locked and limited conversation to collaborators Jun 30, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

1 more reviewer

@cdr-bot cdr-bot[bot] cdr-bot[bot] approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

@matifali matifali

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@matifali