プルリクがマージされたあとに修正が必要なら素直に新しくプルリクを立てればよい。たぶん。
@blank71 ですわ
@noellabo そうでしたのね。
@blank71 逆に、いつまでもマージされないと先に進めぬ……。
@blank71 @noellabo コミットメッセージに元のプルリクエストのURLを書いておくと元のプルリクエストにもリンクが現れますねー
様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。
@blank71 ですわ