summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
695f007)
Allows us to specify an alternative koji --profile option in %koji.
fi
fedpkg commit -c
fedpkg push
fi
fedpkg commit -c
fedpkg push
+ if [ %koji = "koji" ]; then
+ fedpkg build
+ else
+ hash=$(git rev-parse HEAD)
+ %koji build "git+https://src.fedoraproject.org/rpms/"%pkg".git#$hash" %side-tag
+ fi
}
# Get the source package names for a particular package.
}
# Get the source package names for a particular package.