[seL4] signing git commits