|
Revision tags: v3.14.0, v3.13.0, v3.12.0 |
|
| #
34092dd9 |
| 29-Mar-2024 |
Martin Mares <[email protected]> |
maint/push-to-public: git push --tags requires branches
|
| #
1873b973 |
| 26-Feb-2024 |
Martin Mares <[email protected]> |
maint/push-to-public: Push including tags
|
|
Revision tags: v3.11.1, v3.11.0 |
|
| #
fafca2cb |
| 18-Feb-2024 |
Martin Mares <[email protected]> |
Maint: Added a script for pushing to both public repos
|