[goodgoblin]

Just in case you need to check on something like this in the future -- github commits are separated by branch, so there is a chance he was working on a branch for which you didn't get a report. It is also possible he didn't push his commits to a remote repository at all, in which case you wouldn't have seen his work. This is generally not a good idea b/c if you lose your laptop, you've lost your code, but I'm just pointing out what 'could' have been happening. He could have been endlessly typing a single comment over and over

#All work and no play make Jack a dull boy

and committing to a 'shining' branch.

Did he admit to not working, or were you past a point where communication was possible between you two?