mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: efb00e | patch | commitdiff
maximthomas
29.31.2024 717fb98c1ac275e9bff5501ad4e1b7c19cc42330
refs
author maximthomas <maxim.thomas@gmail.com>
Tuesday, October 29, 2024 18:31 +0100
committer maximthomas <maxim.thomas@gmail.com>
Tuesday, October 29, 2024 18:31 +0100
commit717fb98c1ac275e9bff5501ad4e1b7c19cc42330
tree 540d06309926ae46e0a25021da0eb6f9be42e189 tree | zip | gz
parent efb00ec73d7fede35184080a0c31f4aa8789e102 view | diff 
fix docs push warring when there are no changes
1 files modified
7 ■■■■■ changed files
.github/workflows/deploy.yml 7 ●●●●● diff | view | raw | blame | history