On Wed, 23 Apr 2025 13:19:19 GMT, Manuel Hässig wrote:
> The script `make/scripts/update_copyright.sh` relies on the path to the
> script for git detection, which is fragile or does not work at all or git
> worktrees. This PR uses git itself to detect whether the script is running in
> a git r
On Wed, 23 Apr 2025 13:19:19 GMT, Manuel Hässig wrote:
> The script `make/scripts/update_copyright.sh` relies on the path to the
> script for git detection, which is fragile or does not work at all or git
> worktrees. This PR uses git itself to detect whether the script is running in
> a git r
On Wed, 23 Apr 2025 13:19:19 GMT, Manuel Hässig wrote:
> The script `make/scripts/update_copyright.sh` relies on the path to the
> script for git detection, which is fragile or does not work at all or git
> worktrees. This PR uses git itself to detect whether the script is running in
> a git r
