Skip to content

Add devops rules command#27

Merged
ChrisLovering merged 3 commits into
mainfrom
devops-rukes
Oct 7, 2022
Merged

Add devops rules command#27
ChrisLovering merged 3 commits into
mainfrom
devops-rukes

Conversation

@ChrisLovering
Copy link
Copy Markdown
Member

@ChrisLovering ChrisLovering commented Oct 7, 2022

@ChrisLovering ChrisLovering marked this pull request as draft October 7, 2022 12:59
@HassanAbouelela HassanAbouelela marked this pull request as ready for review October 7, 2022 19:41
@ChrisLovering ChrisLovering force-pushed the devops-rukes branch 2 times, most recently from 231327e to 79a423f Compare October 7, 2022 19:50
@HassanAbouelela HassanAbouelela self-requested a review October 7, 2022 19:59
HassanAbouelela
HassanAbouelela previously approved these changes Oct 7, 2022
Comment thread arthur/exts/fun/devops_rules.py
@HassanAbouelela HassanAbouelela dismissed their stale review October 7, 2022 20:02

Accidental approval

@ChrisLovering ChrisLovering force-pushed the devops-rukes branch 2 times, most recently from 798117c to 21ea48a Compare October 7, 2022 20:12
Copy link
Copy Markdown
Contributor

@HassanAbouelela HassanAbouelela left a comment

Choose a reason for hiding this comment

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

It works well, and the implementation is really clean. This is nice. If you want to fix invalid indices before merging, feel free to.

@ChrisLovering ChrisLovering merged commit fc47214 into main Oct 7, 2022
@ChrisLovering ChrisLovering deleted the devops-rukes branch October 7, 2022 20:49
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.

2 participants