Revert "ci: no longer require real name"
authorJosef Schlehofer <pepe.schlehofer@gmail.com>
Tue, 4 Jun 2024 09:11:33 +0000 (11:11 +0200)
committerJosef Schlehofer <pepe.schlehofer@gmail.com>
Wed, 5 Jun 2024 08:42:08 +0000 (10:42 +0200)
commit07c12180097283a7a53d14d173d7a7e6a1c43be8
tree0497fb6c34251344c76acfec4c66c1be5e55d46a
parentb0a4fd300f23f99bc678162165c23e93bb1e24e8
Revert "ci: no longer require real name"

It was decided that we should require to use real name once again.
There was discussion about it on the mailing list [1], which
was based on the commit in different OpenWrt repo [2]

This reverts commit 7e6cd98ad481184b1a620a9862aa3713d1ab85cc.

[1] https://lists.openwrt.org/pipermail/openwrt-devel/2024-April/042711.html
[2] https://github.com/openwrt/actions-shared-workflows/commit/12d9551f2d07ec34ac813da8612c8014fb393af6

Signed-off-by: Josef Schlehofer <pepe.schlehofer@gmail.com>
.github/workflows/formal.yml