When you’re ready to have these diffs integrated, you need to contact one of the panda developers directly.