Artifact 1e8ae1440af80a71a222bb5973bb5c28a1fa5c99ebba74b691aa2075b263ce68:

version: 2
  - when: pull_request.opened
    name: "Greet a contributor"
    validate: []
      - do: comment
          body: >
            Thanks for your contribution!  Unfortunately, we don't use GitHub pull requests to manage code contributions to this repository.  Instead, please see the [REDUCE Homepage]( for details on how to get involved with REDUCE.
      - do: close

REDUCE Historical
REDUCE Sourceforge Project | Historical SVN Repository | GitHub Mirror | SourceHut Mirror | NotABug Mirror | Chisel Mirror | Chisel RSS ]