Skip to content
This repository has been archived by the owner on Jul 14, 2023. It is now read-only.

Link username to GitHub profile #48

Merged
merged 1 commit into from
Oct 24, 2022
Merged

Link username to GitHub profile #48

merged 1 commit into from
Oct 24, 2022

Conversation

AurevoirXavier
Copy link
Contributor

@AurevoirXavier AurevoirXavier commented Oct 23, 2022 •
edited
Loading

@bkchr bkchr requested a review from rrtti October 23, 2022 20:01
rphmeier
rphmeier approved these changes Oct 23, 2022
View reviewed changes
Copy link
Collaborator

@rphmeier rphmeier left a comment

Choose a reason for hiding this comment

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

I am fine with linking where applicable. Of course, while having GitHub isn't a hard requirement for seeding, the fact is that all core development currently takes place here and so all applicants almost by necessity must have an account or have contributed via one.

@rrtti rrtti merged commit 4f74a9c into polkadot-fellows:main Oct 24, 2022
@AurevoirXavier
Copy link
Contributor Author

AurevoirXavier commented Oct 24, 2022 •
edited
Loading

#45 breaks this.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@shawntabrizi shawntabrizi shawntabrizi approved these changes

@bkchr bkchr bkchr approved these changes

@rphmeier rphmeier rphmeier approved these changes

@rrtti rrtti rrtti approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Suggest changing the 'GitHub Username' field to link
5 participants
@AurevoirXavier @shawntabrizi @bkchr @rphmeier @rrtti