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

fix: fixes for release notes #7171

Merged
merged 1 commit into from
Aug 15, 2023
Merged

Conversation

fstagni
Copy link
Contributor

@fstagni fstagni commented Aug 15, 2023

No description provided.

@fstagni fstagni requested a review from atsareg as a code owner August 15, 2023 14:01
@DIRACGridBot DIRACGridBot added the alsoTargeting:integration Cherry pick this PR to integration after merge label Aug 15, 2023
@fstagni
Copy link
Contributor Author

fstagni commented Aug 15, 2023

Merging as this is blocking.

@fstagni fstagni merged commit 93f4965 into DIRACGrid:rel-v8r0 Aug 15, 2023
20 checks passed
@DIRACGridBot DIRACGridBot added sweep:done All sweeping actions have been done for this PR sweep:failed Sweeping failed and needs manual intervention labels Aug 15, 2023
@DIRACGridBot
Copy link

Sweep summary

Sweep ran in https://github.com/DIRACGrid/DIRAC/actions/runs/5868129589

Failed:

  • integration
    cherry-pick 93f4965 into integration failed
    check merge conflicts on a local copy of this repository
    git fetch upstream
    git checkout upstream/integration -b cherry-pick-2-93f49657d-integration
    git cherry-pick -x -m 1 93f49657d
    # Fix the conflicts
    git cherry-pick --continue
    git commit --amend -m 'sweep: #7171 fix: fixes for release notes' --author='fstagni <[email protected]>'
    git push -u origin cherry-pick-2-93f49657d-integration
    
    # If you have the GitHub CLI installed the PR can be made with
    gh pr create \
         --label 'sweep:from rel-v8r0' \
         --base integration \
         --repo DIRACGrid/DIRAC \
         --title '[sweep:integration] fix: fixes for release notes' \
         --body 'Sweep #7171 `fix: fixes for release notes` to `integration`.
    
    Adding original author @fstagni as watcher.
    
    
    Closes #7172'

fstagni added a commit to fstagni/DIRAC that referenced this pull request Aug 15, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
alsoTargeting:integration Cherry pick this PR to integration after merge sweep:done All sweeping actions have been done for this PR sweep:failed Sweeping failed and needs manual intervention
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants