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 |