We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
リポジトリの統合によってdocker hubのsource linkが切れていた問題がありました。
気付いていたにも関わらず、設定で変更できるようになっていなかったので、しばらく放置していましたが、ある問題 #3 に対応するついでに、この問題にも対応しました。
具体的には、docker hubのrepositoryを一旦削除したあと、再度同様の名前でrepositoryを作成後、docker pushしました。
ただし、注意点として、repositoryをdeleteする前にdocker pullが必要です。
docker pull docker delete repo docker create repo docker push
The text was updated successfully, but these errors were encountered:
No branches or pull requests
リポジトリの統合によってdocker hubのsource linkが切れていた問題がありました。
気付いていたにも関わらず、設定で変更できるようになっていなかったので、しばらく放置していましたが、ある問題 #3 に対応するついでに、この問題にも対応しました。
具体的には、docker hubのrepositoryを一旦削除したあと、再度同様の名前でrepositoryを作成後、docker pushしました。
ただし、注意点として、repositoryをdeleteする前にdocker pullが必要です。
The text was updated successfully, but these errors were encountered: