-
Notifications
You must be signed in to change notification settings - Fork 4
push to git #20
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
push to git #20
Conversation
b4e15a7 to
4e69d0f
Compare
fa1962a to
390c712
Compare
390c712 to
7978723
Compare
deneb-alpha
left a comment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
the new copyright includes an an contributors.
apart from this, I just left a few minor comments.
|
@cbosdo : I added you as reviewer. not sure if you want to have a look at the changes. I think we are good in this way, but given that you reworked a lot the old scripts, I'm not sure if we are maybe missing something (or other places to fix) |
Co-authored-by: Marina Latini <marina.latini@suse.com>
5538039 to
d9f0e49
Compare
d9f0e49 to
c1feea8
Compare
| } | ||
|
|
||
|
|
||
| function log_and_add_failure() { |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Would it be worth moving the common functions to a helper script that would be sourced in both files?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Yes, when we have some time for re-org
Added scripts which push to git instead of OBS.
All based on the packages created with
build-packages-for-obsand a script to mass create git repos