Skip to content

Conversation

@jameshcorbett
Copy link
Member

Problem: there are no longer any lab tutorials, as of PR #311.

Remove the lab directory.

Problem: there are no longer any lab tutorials, as of PR flux-framework#311.

Remove the lab directory.
Problem: there are no links to the LLNL Flux tutorials.

Add one.
@jameshcorbett jameshcorbett added the merge-when-passing mark PR for auto-merging by mergify.io bot label Feb 11, 2026
@mergify mergify bot added the queued label Feb 11, 2026
@mergify mergify bot merged commit 464ed5f into flux-framework:master Feb 11, 2026
6 of 7 checks passed
@mergify
Copy link
Contributor

mergify bot commented Feb 11, 2026

Merge Queue Status

Rule: default


  • Entered queue2026-02-11 20:16 UTC
  • Checks passed · in-place
  • Merged2026-02-11 20:16 UTC · at 361248156b94011f9029d04cceeabc19be46bf00

This pull request spent 6 seconds in the queue, with no time running CI.

Required conditions to merge
  • #approved-reviews-by >= 1 [🛡 GitHub branch protection]
  • #changes-requested-reviews-by = 0 [🛡 GitHub branch protection]
  • any of [🛡 GitHub branch protection]:
    • check-success = docs/readthedocs.org:flux-framework
    • check-neutral = docs/readthedocs.org:flux-framework
    • check-skipped = docs/readthedocs.org:flux-framework
  • any of [🛡 GitHub branch protection]:
    • check-success = ensure latest examples built
    • check-neutral = ensure latest examples built
    • check-skipped = ensure latest examples built
  • any of [🛡 GitHub branch protection]:
    • check-success = spell-and-linkcheck
    • check-neutral = spell-and-linkcheck
    • check-skipped = spell-and-linkcheck
  • any of [🛡 GitHub branch protection]:
    • check-success = validate commits
    • check-neutral = validate commits
    • check-skipped = validate commits

@mergify mergify bot removed the queued label Feb 11, 2026
@jameshcorbett jameshcorbett deleted the remove-lab-dir branch February 11, 2026 20:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge-when-passing mark PR for auto-merging by mergify.io bot

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants