URL of experiment:
Description of the problem:
I manage credit assignment for the members of my lab, and there have been occasions where the researcher deleted their project when there were credits still assigned. Are those credits now gone, or do they revert back to my account? I am usually assigned Maintainer status on GitHub, and then can add credits from my account. We have a lot of credits right now, which is why I am not sure if those credits disappeared.