domjudge
domjudge copied to clipboard
API: Allow setting external id for User entity
This will fix #2186 when using data_source=1
. I am not sure how this will affect the API for other modes.
@baierjan will you implement @nickygerritsen his feedback or should someone else look into this?
@vmcj I am not familiar with the code base, so it will be much faster if you can take look at it. Feel free to close this PR (it is just a hotfix anyway) and do it properly.
I am working on a version that adds a test for this as well, PR incoming soon.