7 Commits

Author	SHA1	Message	Date
Ian Jackson	87c0930c70	Make scripts all be #!/bin/bash ... sh is rather inconvenient. I am about to introduce a bashism in vars.sh.frag and various others.	2021-09-03 11:47:40 +01:00
Ximin Luo	e8aca34325	Make filter-in-debian more precise, split into 2 scripts	2019-11-28 00:05:01 +00:00
Wolfgang Silbermayr	bf0f8a3164	Adjust grant-dm-perms to include packages with higher count than 1	2019-11-16 13:07:44 +01:00
Sylvestre Ledru	61211e4f5b	improve the dev/grant-dm-perms.sh script by checking the # of args	2019-10-05 10:21:01 +02:00
Ximin Luo	f77a94cc7e	dev/grant-dm-perms: take into account uploaders from debcargo.toml too	2018-11-27 01:30:48 -08:00
Ximin Luo	a73c90d5d7	dev/grant-dm-perms: make it a bit more flexible	2018-08-28 21:02:44 -07:00
Ximin Luo	10c5bef4f2	Add script for granting DM permissions	2018-08-12 15:22:40 -07:00