He was certainly allowed to work on it on his own time. He just was no longer being paid by Red Hat to work on it, or to travel to conferences/conventions to work on it.