jj git push
As discussed in https://discord.com/channels/968932220549103686/1226363798483636265/1226415448615288864