diff options
Diffstat (limited to 'fetched')
-rw-r--r-- | fetched/pgloader.json | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/fetched/pgloader.json b/fetched/pgloader.json new file mode 100644 index 0000000..dfe310b --- /dev/null +++ b/fetched/pgloader.json | |||
@@ -0,0 +1,15 @@ | |||
1 | { | ||
2 | "tag": "v3.5.2", | ||
3 | "meta": { | ||
4 | "name": "pgloader", | ||
5 | "url": "https://github.com/dimitri/pgloader", | ||
6 | "branch": "refs/tags/v3.5.2" | ||
7 | }, | ||
8 | "github": { | ||
9 | "owner": "dimitri", | ||
10 | "repo": "pgloader", | ||
11 | "rev": "63af7e7373975391446dcae151f5c61564849025", | ||
12 | "sha256": "1rd0k1x7ml6b6x526brachm13v51vx5ikpg64c8k8j29cskq2vqa", | ||
13 | "fetchSubmodules": true | ||
14 | } | ||
15 | } | ||