[04:59:06] <_joe_>	 jelto: I think all SREs should be granted general permissions at least on repos/sre
[04:59:16] <_joe_>	 that means all the members of the "ops" group
[13:50:42] <_joe_>	 question for the team: say I have the slug of a project - is there a systematic way to get its project id without an api token?
[14:02:43] <jelto>	 _joe_: do you mean for a human in a non automated way? you can find the Project ID right below the headline if you open the project in a browser. Otherwise somethink like curl -s https://url-to-project | grep "Project ID" would also work I guess
[14:03:17] <_joe_>	 no I meant in an automated way but if it requires an api token it creates other problems
[14:03:37] <_joe_>	 jelto: context is, contrary to common sense, I'm writing a package provider for puppet that can use binaries from gitlab releases
[14:03:55] <_joe_>	 the only thing I can't go around is the need for the project ID
[14:04:40] <jelto>	 if the project is public (which all projects are by default afaik) no token is needed. You can view this without beeing logged in
[14:06:00] <_joe_>	 so the api is also open?
[14:07:44] <_joe_>	 I'll check, don't worry
[14:08:20] <jelto>	 some api endpoints return fewer/only public data if no token is provided. So something like curl --request GET "https://gitlab.example.com/api/v4/projects"
[14:08:46] <jelto>	 I'm not sure how deep you can go and which endpoint you want to use. But that may also work
[16:22:26] <_joe_>	 oh that's what I would need thanks
[22:47:10] <wikibugs>	 10GitLab (Project Migration), 10Phabricator, 10Epic, 10Release-Engineering-Team (Bonus Level 🕹️), and 2 others: Migrate active repositories in Phabricator Differential to GitLab - https://phabricator.wikimedia.org/T191182 (10bd808)