Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: Remove RepoCop 😢 #212

Merged
merged 4 commits into from
Jun 12, 2023
Merged

chore: Remove RepoCop 😢 #212

merged 4 commits into from
Jun 12, 2023

Conversation

akash1810
Copy link
Member

@akash1810 akash1810 commented Jun 7, 2023

What does this change?

RepoCop as a service uses the GitHub Lens API as its source of data. In #202, we deleted the GitHub Lens API. This means in its current form, RepoCop is failing to run.

Remove the service for a later day.

How has it been verified?

Erm... does dig count? Using dig we can confirm that the GitHub Lens API no longer exists, and by extension assert RepoCop is failing to run.

dig CNAME +short github-lens.gutools.co.uk

TODO after merge

  • Delete the CloudFormation stack in AWS

@akash1810 akash1810 requested review from a team as code owners June 7, 2023 09:22
Copy link
Member Author

@akash1810 akash1810 Jun 7, 2023

Choose a reason for hiding this comment

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

A new file, as to not edit the original ADR. Naming it 01-x01 to have it appear nicely ordered in file trees.

@akash1810 akash1810 force-pushed the aa/rm-repocop branch 3 times, most recently from 7120569 to 901bc9e Compare June 7, 2023 09:38
akash1810 added 2 commits June 7, 2023 10:42
RepoCop as a service uses the GitHub Lens API as its source of data.

In #202, we deleted the GitHub Lens API.
This means in its current form, RepoCop is failing to run.

Remove the service for a later day.
@akash1810 akash1810 merged commit f5c89b1 into main Jun 12, 2023
@akash1810 akash1810 deleted the aa/rm-repocop branch June 12, 2023 08:48
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