Web interface for #git IRC bot