This is an automated email from the git hooks/post-receive script.
clime pushed a change to branch prune_distgit
in repository copr/copr.
from 487f0f1 [dist-git] one-shot script script to remove data for already deleted
coprs
add 1b1cef1 [dist-git] merge comparisons by using "in" operator
No new revisions were added by this update.
Summary of changes:
dist-git/run/prune-dist-git.py | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
--
To stop receiving notification emails like this one, please contact
the administrator of this repository.
Show replies by date