Skip to content
Merged
Show file tree
Hide file tree
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 4 additions & 0 deletions people/denisvasilik.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
name = 'Denis Vasilik'
github = 'denisvasilik'
github-id = 18697981
email = '[email protected]'
3 changes: 3 additions & 0 deletions people/tblah.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
name = 'Tom Eccles'
github = 'tblah'
github-id = 3716681
10 changes: 10 additions & 0 deletions teams/risc-v.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
name = "riscv"
marker-team = true

[people]
leads = []
members = [
"denisvasilik",
"Disasm",
"tblah",
]