Let nickhopper push to anonbib git repo
Now that #11224 (moved) is done, is the next step to add nickhopper to the group that can push to anonbib? Or is it not a group but rather a permissions list? Whatever it is, yes please. :)
Now that #11224 (moved) is done, is the next step to add nickhopper to the group that can push to anonbib? Or is it not a group but rather a permissions list? Whatever it is, yes please. :)