7 Commits

Author	SHA1	Message	Date
João Moreno	995983da54	github: get all branches	2020-11-27 14:02:13 +01:00
João Moreno	0321ca5d96	fixes #106664	2020-11-27 12:22:16 +01:00
João Moreno	3d61a39074	fixes #103031	2020-11-10 16:52:35 +01:00
João Moreno	4bb364cc8e	github: publish workspace folder	2020-05-19 11:57:41 +02:00
João Moreno	a85a2e6044	move credential provider to github	2020-05-18 21:04:29 +02:00
João Moreno	b629dba454	export to, clone from github	2020-05-18 15:51:15 +02:00
João Moreno	12b150a961	github: remote source provider	2020-05-18 14:37:53 +02:00