7 commits

Author	SHA1	Message	Date
El RIDO	b80b318e38	spaces	2021-10-30 17:23:09 +02:00
rugk	1fff4bf4d7	Also set author for merge commit ... Follow-up of 41898282+github-actions[bot]@users.noreply.github.com again In contrast to your suggestion, @elrido, I did use GitHubs bot account again. The mails won't spam anyone, and it's actually intended for such stuff. Also, we get a proper avatar on GitHub's commit messages etc., and of course we know it is actually GitHubs (servers) that do this change.	2021-10-30 16:53:42 +02:00
rugk	aa6e2f7631	Set GitHub Bot as author for PHP8 merge commits	2021-10-23 15:04:54 +02:00
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