Skip to content
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

Description setter #600

Merged

Conversation

lachmanfrantisek
Copy link
Member

No description provided.

@softwarefactory-project-zuul
Copy link
Contributor

Build failed.

@softwarefactory-project-zuul
Copy link
Contributor

Build failed.

@lachmanfrantisek lachmanfrantisek force-pushed the description-setter branch 2 times, most recently from c2ce8a6 to bae5ccb Compare June 17, 2021 21:18
@softwarefactory-project-zuul
Copy link
Contributor

Build succeeded.

@lachmanfrantisek lachmanfrantisek marked this pull request as ready for review June 17, 2021 22:00
@lachmanfrantisek lachmanfrantisek added the mergeit When set, zuul wil gate and merge the PR. label Jun 18, 2021
@mfocko
Copy link
Member

mfocko commented Jul 13, 2021

@lachmanfrantisek Could you please rebase? :)

@softwarefactory-project-zuul
Copy link
Contributor

Build failed (gate pipeline).

Copy link
Member

@TomasTomecek TomasTomecek left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

neat

@softwarefactory-project-zuul
Copy link
Contributor

Build failed (gate pipeline).

Signed-off-by: Frantisek Lachman <[email protected]>
Changing of the value is probably not possible on Pagure.

Signed-off-by: Frantisek Lachman <[email protected]>
@softwarefactory-project-zuul
Copy link
Contributor

Build succeeded.

@softwarefactory-project-zuul
Copy link
Contributor

Build succeeded (gate pipeline).

@softwarefactory-project-zuul softwarefactory-project-zuul bot merged commit 225f5a4 into packit:main Jul 14, 2021
@lachmanfrantisek lachmanfrantisek deleted the description-setter branch July 14, 2021 09:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
mergeit When set, zuul wil gate and merge the PR.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants