diff options
| author | 2019-09-14 22:31:45 +0200 | |
|---|---|---|
| committer | 2019-09-14 22:31:45 +0200 | |
| commit | 5984123a399b397270008bfa50fd073a6b0a4f25 (patch) | |
| tree | e53cb3f117d7c06fa34bb8655eaa168f86f9be46 /scripts/dev.sh | |
| parent | Merge pull request #22 from python-discord/revitalisation (diff) | |
| parent | CI: specify container registry for Docker push tasks (diff) | |
Merge pull request #42 from python-discord/revitalisation
Fix CI Image Push
Diffstat (limited to 'scripts/dev.sh')
0 files changed, 0 insertions, 0 deletions