Skip to content

Conversation

@ee7
Copy link
Member

@ee7 ee7 commented Apr 10, 2023

The fetch-configlet script in this repo was outdated. Update it to the upstream version, which has many improvements.

Closes: #2258

The fetch-configlet script in this repo was outdated. Update it to the
upstream version [1], which has many improvements.

Closes: exercism#2258

[1] https://github.com/exercism/configlet/blob/85745ac34f7c/scripts/fetch-configlet
@ee7 ee7 mentioned this pull request Apr 10, 2023
@glennj
Copy link
Contributor

glennj commented Apr 10, 2023

Why do we need configlet in this repo?

@ee7
Copy link
Member Author

ee7 commented Apr 10, 2023

Why do we need configlet in this repo?

Good question. I think the answer is that we don't anymore.

I'll suggest removing the fetch configlet scripts from this repo as a follow-up. We might need to edit some of the docs in this repo that mention configlet.

@IsaacG
Copy link
Member

IsaacG commented Apr 10, 2023

I propose we sync from upstream first. This is a pretty simple and straight forward PR. That unblocks the bash cleanup PR and we can follow up on removing the script as a follow up issue.

Copy link
Contributor

@vaeng vaeng left a comment

Choose a reason for hiding this comment

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

"The two files are identical"

@IsaacG IsaacG merged commit ad4a54b into exercism:main Apr 11, 2023
@ee7 ee7 deleted the fetch-configlet-update branch April 11, 2023 07:36
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.

fetch-configlet: script is outdated

4 participants