15a9b8d826
fix php8 refresh workflow
...
requires updating the commit action due to
https://github.com/github-actions-x/commit/issues/30
2022-04-14 06:17:10 +02:00
d2126d6dd6
fix php8 refresh workflow
...
requires updating the commit action due to
https://github.com/github-actions-x/commit/issues/30
2022-04-14 06:08:48 +02:00
b80b318e38
spaces
2021-10-30 17:23:09 +02:00
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
aa6e2f7631
Set GitHub Bot as author for PHP8 merge commits
2021-10-23 15:04:54 +02:00
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
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
c7cd450f9b
Remove useless boilerplate comments
2021-10-06 20:19:03 +02:00
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
El RIDO