Skip to content
GitLab
Projects Groups Topics Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • T Trilinos
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributor statistics
    • Graph
    • Compare revisions
  • Issues 936
    • Issues 936
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 22
    • Merge requests 22
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • James Willenbring
  • Trilinos
  • Issues
  • #4117
Closed
Open
Issue created Dec 20, 2018 by James Willenbring@jmwilleOwner

Zoltan: Closing old PR #3122: "Avoid picking up the wrong include from AMPI"

Created by: william76

@trilinos/zoltan

Pull Request #3122 "Avoid picking up the wrong include from AMPI" hasn't had any activity in a long time and appears to be stale and/or abandoned. I'm closing that PR and creating this issue to link to it.

I'm doing this because we need to close out some of the old PR's due to some GitHub limitations on the number of checks/hour that are allowed. The pull request autotester uses a polling model to check existing pull requests' status flags, etc. and we have occasionally hit that limit, which causes GitHub to reject the queries and can cause the Autotester to fail until the counter resets at the start of the next hour. Even "WIP" PR's count against this limit... so long-term PR's should probably be converted to issues if they aren't likely to get merged in the near future.

If this PR needs to be brought back to life it can easily be reopened on the pull request page.

If this PR is truly dead, please close out this issue ticket.

FYI: @jbakosi

Assignee
Assign to
Time tracking