Skip to content

Add Rohan Anil to admin whitelist#242

Merged
msaroufim merged 1 commit into
mainfrom
add-rohan-admin
Jun 23, 2026
Merged

Add Rohan Anil to admin whitelist#242
msaroufim merged 1 commit into
mainfrom
add-rohan-admin

Conversation

@msaroufim

Copy link
Copy Markdown
Member

Summary\n- Add Rohan Anil's GitHub numeric user id to the kernelboard admin whitelist so he can view submission code when logged in via GitHub.\n\n## Test\n- python3 -m py_compile kernelboard/lib/auth_utils.py

@msaroufim msaroufim merged commit 110d5e8 into main Jun 23, 2026
1 check passed
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.

1 participant