2020-03-26 20:03:25 +01:00
|
|
|
# -*- mode: snippet -*-
|
|
|
|
# name: fetchFromGitHub
|
2023-04-11 15:25:11 +02:00
|
|
|
# uuid: fetchFromGitHub
|
2020-03-26 20:03:25 +01:00
|
|
|
# key: fetchFromGitHub
|
|
|
|
# condition: t
|
|
|
|
# --
|
|
|
|
fetchFromGitHub {
|
|
|
|
owner = "$1";
|
|
|
|
repo = "$2";
|
|
|
|
rev = "$3";
|
|
|
|
sha256 = "0000000000000000000000000000000000000000000000000000";
|
|
|
|
}
|