Skip to content

Commit

Permalink
Add VojtechStep as a maintainer (#895)
Browse files Browse the repository at this point in the history
  • Loading branch information
VojtechStep authored Oct 31, 2023
1 parent 147d5c9 commit f392337
Showing 1 changed file with 12 additions and 6 deletions.
18 changes: 12 additions & 6 deletions CONTRIBUTORS.toml
Original file line number Diff line number Diff line change
Expand Up @@ -54,6 +54,18 @@ implementing the functional programming language Juvix. His PhD research is on
graph theory from a univalent point of view.
'''

[[contributors]]
displayName = "Vojtěch Štěpančík"
maintainer = true
usernames = [ "Vojtěch Štěpančík", "VojtechStep" ]
homepage = "https://vojtechstep.eu/"
github = "VojtechStep"
bio = '''
Vojtěch is a master\'s student at Charles University in Prague. His background
is in software engineering, and he\'s working on formalizing synthetic
homotopy theoretic topics for his thesis.
'''

[[contributors]]
displayName = "Eléonore Mangel"
usernames = [ "Eléonore Mangel", "EleonoreMangel", "Léo Mangel", "LeoMangel" ]
Expand All @@ -79,12 +91,6 @@ displayName = "Victor Blanchi"
usernames = [ "VictorBlanchi" ]
github = "VictorBlanchi"

[[contributors]]
displayName = "Vojtěch Štěpančík"
usernames = [ "Vojtěch Štěpančík", "VojtechStep" ]
homepage = "https://vojtechstep.eu/"
github = "VojtechStep"

[[contributors]]
displayName = "Fernando Chu"
usernames = [ "Fernando Chu", "fernando" ]
Expand Down

0 comments on commit f392337

Please sign in to comment.