7 commits

Author	SHA1	Message	Date
Arun Prakash Jana	0c626d49a6	Revert "Add bookmarknav patch" ... This reverts commit fbd6f69f25.	2022-06-14 17:43:50 +05:30
Luuk van Baal	fbd6f69f25	Add bookmarknav patch	2022-06-11 19:44:44 +02:00
Luuk van Baal	3072aa7891	Update patch conflict instructions/workflow	2022-05-31 11:07:31 +02:00
Luuk van Baal	bb604bdf1d	Move patch ci to ubuntu	2022-05-30 19:45:28 +02:00
N-R-K	1e98e2e126	improve patch conflict ci script ... goes through all different combinations automatically and makes adding another patch easier by simply putting the name into the patches array.	2022-05-30 17:43:41 +06:00
Luuk van Baal	0095948d8d	Add patch conflict workflow	2022-05-30 01:01:46 +02:00
Mischievous Meerkat	d0a7d61bd2	Integrate GH CI, retire Travis	2020-11-22 03:03:24 +05:30