Skip to content

Conversation

@DHowett
Copy link
Member

@DHowett DHowett commented Jul 12, 2022

Does what it says on the tin!

@DHowett
Copy link
Member Author

DHowett commented Jul 12, 2022

@msftbot merge this in 30 minutes

@ghost ghost added the AutoMerge Marked for automatic merge by the bot when requirements are met label Jul 12, 2022
@ghost
Copy link

ghost commented Jul 12, 2022

Hello @DHowett!

Because you've given me some instructions on how to help merge this pull request, I'll be modifying my merge approach. Here's how I understand your requirements for merging this pull request:

  • I won't merge this pull request until after the UTC date Tue, 12 Jul 2022 20:50:35 GMT, which is in 30 minutes

If this doesn't seem right to you, you can tell me to cancel these instructions and use the auto-merge policy that has been configured for this repository. Try telling me "forget everything I just told you".

@DHowett
Copy link
Member Author

DHowett commented Jul 12, 2022

@msftbot forget everything i told you

@ghost
Copy link

ghost commented Jul 12, 2022

Hello @DHowett!

Because you've told me to reset the custom auto-merge settings, I'll use the configured settings for this repository when I'm merging this pull request.

@DHowett DHowett removed the AutoMerge Marked for automatic merge by the bot when requirements are met label Jul 12, 2022
@DHowett
Copy link
Member Author

DHowett commented Jul 12, 2022

@msftbot merge this in 4 minutes

@ghost ghost added the AutoMerge Marked for automatic merge by the bot when requirements are met label Jul 12, 2022
@ghost
Copy link

ghost commented Jul 12, 2022

Hello @DHowett!

Because you've given me some instructions on how to help merge this pull request, I'll be modifying my merge approach. Here's how I understand your requirements for merging this pull request:

  • I won't merge this pull request until after the UTC date Tue, 12 Jul 2022 20:36:14 GMT, which is in 4 minutes

If this doesn't seem right to you, you can tell me to cancel these instructions and use the auto-merge policy that has been configured for this repository. Try telling me "forget everything I just told you".

@ghost ghost merged commit 574a72b into main Jul 13, 2022
@ghost ghost deleted the dev/duhowett/loco branch July 13, 2022 14:27
This pull request was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

AutoMerge Marked for automatic merge by the bot when requirements are met

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants