pullrequests Search Results · topic:github-sponsors org:community is:public
Filter by
535 results
incommunity (press backspace or delete to remove)The topic qualifier is not supported when searching pull requests. Try searching for repositories instead?
Added a security policy document outlining supported versions and vulnerability reporting.
albertoblue87-netizen
- Refactors the discussion feedback dispatch workflow to move the dispatch logic out of inline actions/github-script
code and into a dedicated Python helper.
- Expands workflow so production discussion ...
mnkiefer
sarvansingh02265-coder
Added guidelines for reporting vulnerabilities and supported versions.
litalalitakik99
Remove {P : Nat → Prop} {m} (h0 : P m) (h1 : ∀ n, m ≤ n → P n → P (n + 1)) : ∀ n, m ≤ n → P n := by apply Nat.le.rec ·
exact h0 · exact h1 _
Prana111025
GEM Remove remote: https://rubygems.org/ specs: activesupport (7.2.3.1) base64 benchmark ( = 0.3) bigdecimal
concurrent-ruby (~ 1.0, = 1.3.1) connection_pool ( = 2.2.5) drb i18n ( = 1.6, 2) logger ( = ...
- https://github.com/community/incident-discussion-bot/blob/main/.github/src/incident_resolved.png?raw=true
- https://github.com/community/community/blob/main/.github/src/incident_resolved.png?raw=true ...