Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Dev: Added AUTHORS.md to build dependencies again
It had been removed in PR #1622 because it was updated in the publish workflow. PR #1694 provided a better circumvention by making the AUTHORS.md file creation check for whether the git shortlog command returned any authors. With the better circumvention in place, the previous circumvention is now removed. Signed-off-by: Andreas Maier <[email protected]>
- Loading branch information