Skip to content

Conversation

mergify[bot]
Copy link

@mergify mergify bot commented Mar 31, 2020

This is an automated backport of pull request #12705 done by Mergify

Mergify commands and options

More conditions and actions can be found in the documentation.

You can also trigger Mergify actions by commenting on this pull request:

  • @Mergifyio refresh will re-evaluate the rules
  • @Mergifyio rebase will rebase this PR
  • @Mergifyio backport <destination> will backport this PR on <destination> branch

Additionally, on Mergify dashboard you can:

  • look at your merge queues
  • generate the Mergify configuration with the simulator.

Finally, you can contact us on https://mergify.io/

ARM Compiler 5 is no longer actively supported and was superseded in
Mbed OS by ARM Compiler 6.

(cherry picked from commit a79ae95)
@0xc0170
Copy link
Contributor

0xc0170 commented Mar 31, 2020

Just a test, will close now

@ciarmcom ciarmcom requested a review from a team March 31, 2020 07:00
@ciarmcom
Copy link
Member

@mergify[bot], thank you for your changes.
@ARMmbed/mbed-os-maintainers please review.

@0xc0170 0xc0170 closed this Mar 31, 2020
@mergify mergify bot removed the needs: review label Mar 31, 2020
@0xc0170 0xc0170 deleted the mergify/bp/mbed-os-5.15/pr-12705 branch October 5, 2021 08:55
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.

3 participants