git - 同じコマンドで「git push」と「git push --tags」?

Question

私は通常実行します：

git push
git tag v4.7
git push --tags

1 番目と 3 番目の操作は両方ともサーバーに接続するため、時間が無駄になります。
1回押すだけで速くしたい。これを実現するコマンドは何ですか?
それは bashスクリプトにあり、master.

マニュアルを読んでも、解決策ではないと思いますgit push all：

--all: プッシュする各参照に名前を付ける代わりに、refs/heads/ の下のすべての参照をプッシュするように指定します。

--tags: コマンド ラインで明示的にリストされた refspecs に加えて、refs/tags の下のすべての refs がプッシュされます。

Answer 1

最も近いオプションは次のとおりです。

git push --follow-tags

このオプションなしでプッシュされるすべての参照をプッシュし、リモートから欠落しているが、プッシュされている参照から到達可能な committish を指している参照/タグの注釈付きタグもプッシュします。

Answer 2

ドキュメントによると、--tagsプッシュする追加のrefspecを指定できます。

だからあなたは単に使うことができます

git push --tags origin HEAD