4 Commits

Author	SHA1	Message	Date
rugk	af852927a9	Fix PHP refresh pipeline merge ... See https://github.com/PrivateBin/PrivateBin/pull/847#issuecomment-942580850 Now merging the origin as master is not yet pulled.	2021-10-13 20:07:45 +02:00
rugk	f6421c9c7c	Fix PHP8 pipeline ... As per https://github.com/PrivateBin/PrivateBin/pull/843#issuecomment-939526915 Co-Authored-By: El RIDO <elrido@gmx.net>	2021-10-11 17:45:42 +02:00
rugk	c7cd450f9b	Remove useless boilerplate comments	2021-10-06 20:19:03 +02:00
rugk	a988be7431	Add CI for automatic PHP8 updates ... Adds a simple CI for pushing the master branches changes to the php8 branch. Useful/discussed for https://github.com/PrivateBin/PrivateBin/issues/707	2021-10-06 20:13:09 +02:00