Skip to content

🤖 Sync org-wide files to upstream repo#1122

Closed
exercism-bot wants to merge 1 commit into
exercism:mainfrom
exercism-bot:🤖/org-wide-files/2207809734

Hidden character warning

The head ref may contain hidden characters: "\ud83e\udd16/org-wide-files/2207809734"
Closed

🤖 Sync org-wide files to upstream repo#1122
exercism-bot wants to merge 1 commit into
exercism:mainfrom
exercism-bot:🤖/org-wide-files/2207809734

Conversation

@exercism-bot

Copy link
Copy Markdown
Contributor

ℹ More info: exercism/org-wide-files@68ae5eb
👁 Tracking issue: exercism/org-wide-files#202

@github-actions

Copy link
Copy Markdown
Contributor

Thank you for contributing to exercism/elixir 💜 🎉. This is an automated PR comment 🤖 for the maintainers of this repository that helps with the PR review process. You can safely ignore it and wait for a maintainer to review your changes.

Based on the files changed in this PR, it would be good to pay attention to the following details when reviewing the PR:

  • General steps
    • 🏆 Does this PR need to receive a label with a reputation modifier (x:size/{tiny,small,medium,large,massive})? (A medium reputation amount is awarded by default, see docs)

Automated comment created by PR Commenter 🤖.

@jiegillet

Copy link
Copy Markdown
Contributor

Oh no, there is a trailing whitespace, hahaha :)
Is that going to be an issue?
Can we remove the whitespace here and keep the file as is? Or will it be overwritten later?
I'd rather avoid sending another round of PR to every single other repo...

@ErikSchierboom

Copy link
Copy Markdown
Member

Oh no, there is a trailing whitespace, hahaha :)

Doh

Is that going to be an issue?

Apparently, for the Elixir repo it is :)

Can we remove the whitespace here and keep the file as is? Or will it be overwritten later?

I don't think this PR can be amended.

I'd rather avoid sending another round of PR to every single other repo...

I understand. See exercism/org-wide-files#204

@jiegillet jiegillet closed this May 5, 2022
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