Permalink
Comparing changes
Choose two branches to see what’s changed or to start a new pull request.
If you need to, you can also or
learn more about diff comparisons.
Open a pull request
Create a new pull request by comparing changes across two branches. If you need to, you can also .
Learn more about diff comparisons here.
...
- 8 commits
- 8 files changed
- 3 contributors
Commits on Apr 1, 2025
-
- Preserve original timestamps of unmodified files. - Create new tag only if there were changes. Signed-off-by: Stefan Weil <sw@weilnetz.de>
-
Update documentation for building
Signed-off-by: Stefan Weil <sw@weilnetz.de>
-
CI builds now use a tag which includes the current date. This avoids a conflict with the existing tag of the current release. Signed-off-by: Stefan Weil <sw@weilnetz.de>
Commits on Apr 8, 2025
-
Merge pull request #92 from UB-Mannheim/build+release
Improve documentation and scripts for build and release
Commits on May 14, 2025
-
-
Fixes: d18035f ("Improve release handling") Signed-off-by: Stefan Weil <sw@weilnetz.de>
-
Loading
This comparison is taking too long to generate.
Unfortunately it looks like we can’t render this comparison for you right now. It might be too big, or there might be something weird with your repository.
You can try running this command locally to see the comparison on your machine:
git diff 0.9.1...0.9.2