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.

Sign up for GitHub

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

Jump to bottom

Update leadership #33

Closed
wants to merge 1 commit into from
Closed

Update leadership #33

wants to merge 1 commit into from

Conversation

kaefer3000
Copy link
Contributor

Fixes #17.

Please check if the URIs for the images work, if not, we need to ask the people for a images.

@pheyvaer
Copy link
Contributor

Did you mean to change every single line in the file? If not can you make sure that the changes are limited to the lines where actual data is changed? Thanks!

@kaefer3000
Copy link
Contributor Author

kaefer3000 commented Aug 28, 2023 •
edited
Loading

Oh, that's bad. I did the edit using the GitHub website, and here we ended up.

$ git diff -w 51f395db01a3bf681c3b97fe468f0a5ad623f791 9576febce712ad4504f3f7f26561c308c5672f9f | sed 's/^M$//g' > diff.txt

gave me the following diff:

diff.txt

pheyvaer added a commit that referenced this pull request Sep 4, 2023
@pheyvaer
Integrate #33
6122310
@pheyvaer
Copy link
Contributor

pheyvaer commented Sep 4, 2023

Fixed via 6122310

@pheyvaer pheyvaer closed this Sep 4, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Leadership not up to date
2 participants
@kaefer3000 @pheyvaer