-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Four correctness bugs found while mapping the GitHub sync
bugSomething isn't workingSomething isn't workingStatus: Open.#72 In theam/facility;Make the server the only pipeline classifier — the stage model is implemented three times
enhancementNew feature or requestNew feature or requestStatus: Open.#71 In theam/facility;Show the signed-in GitHub user, and assign them on the issue and the PR
enhancementNew feature or requestNew feature or requesttype:featureFeature workFeature workStatus: Open.#70 In theam/facility;check_run signals are fingerprinted per repo, so a green PR resolves a red default branch
bugSomething isn't workingSomething isn't workingStatus: Open.#69 In theam/facility;Add a Validating stage, and flag stories whose CI is red
enhancementNew feature or requestNew feature or requesttype:featureFeature workFeature workStatus: Open.#68 In theam/facility;Link pull requests to their issue using GitHub's own closing references
enhancementNew feature or requestNew feature or requesttype:featureFeature workFeature workStatus: Open.#67 In theam/facility;Mirror pull requests, so a PR opened on GitHub exists in Facility
enhancementNew feature or requestNew feature or requesttype:featureFeature workFeature workStatus: Open.#66 In theam/facility;Stories should cover pull requests, not just issues
enhancementNew feature or requestNew feature or requesttype:epicEpic — long-running outcome with sub-issuesEpic — long-running outcome with sub-issuesStatus: Open.#65 In theam/facility;- Status: Open.#54 In theam/facility;
- Status: Open.#48 In theam/facility;
- Status: Open.#45 In theam/facility;
- Status: Open.#39 In theam/facility;