Patch Side-by-Side Diff

Changes In Branch github/master Through [484f1837b4] Excluding Merge-Ins

This is equivalent to a diff from 7c29086699 to 484f1837b4

2021-03-02
17:32:01
Update README.md: Section headers, links, etc. check-in: 09bba13a1c user: trnsz@pobox.com tags: github/master, trunk
2021-03-01
10:35:17
multi: Update to PR autoresponder, add SECURITY.md check-in: 484f1837b4 user: jeff@gridfinity.com tags: github/master, trunk
10:35:17
multi: Update to PR autoresponder, add SECURITY.md check-in: 26b309fce8 user: jeff@gridfinity.com tags: master, trunk
04:31:58
Update .gitattributes: Exclude doc from Linguist. Closed-Leaf check-in: 7c29086699 user: jeff@gridfinity.com tags: origin/master, trunk
04:31:19
Update .gitattributes: Exclude TeX from Linguist check-in: e49b2b6cb4 user: jeff@gridfinity.com tags: origin/master, trunk

Modified .github/mergeable.yml from [f0d3389fbd] to [02c5c4d3e0]. 
1
2
3
4
5
6
7
8
9
10

11

1
2
3
4
5
6
7
8
9

10
11










-
+


version: 2
mergeable:
  - when: pull_request.opened
    name: "Greet a contributor"
    validate: []
    pass:
      - do: comment
        payload:
          body: >
            Thanks for your contribution!  Unfortunately, we don't use GitHub pull requests to manage code contributions to this repository.  Instead, please see the [GRG Homepage](https://reduce-algebra.sourceforge.io/grg32/grg32.php), the [REDUCE Homepage](https://reduce-algebra.sourceforge.io) or the [REDUCE Support Page](https://sourceforge.net/projects/reduce-algebra/support) at Sourceforge for details on how to report a bug."
            Thanks for your contribution!  Unfortunately, we don't use GitHub pull requests to manage code contributions to this repository.  Instead, please see the [GRG Homepage](https://reduce-algebra.sourceforge.io/grg32/grg32.php), the [REDUCE Homepage](https://reduce-algebra.sourceforge.io) or the [REDUCE Support Page](https://sourceforge.net/projects/reduce-algebra/support) at Sourceforge for further details."
      - do: close
Added SECURITY.md version [28b1629609].
GRG for REDUCE
[ GRG Homepage | GitHub Mirror | SourceHut Mirror | NotABug Mirror | Chisel Mirror | Chisel RSS ]