UserScript内で使える関数

UserScript Page Edit APIと合わせて使うと便利

async-awaitを使って呼び出すと、未pushのcommitが手元にある間だけブロックする

サーバーにcommitが保存されると処理が次に進む

用途

サーバーに保存されてから「保存されました」と表示する

サーバーに保存されるまでボタンをdisabledにしておき、保存されたらdisabled解除