Skip to content

Pull requests: rchain-community/rgov

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Delete package-lock.json
#286 by jimscarver was merged Apr 24, 2024 Loading…
Update makeMint.rho
#284 by PatrickMockridge was merged Apr 24, 2024 Loading…
sequential loop example action
#278 by momchilov was merged Dec 24, 2021 Loading…
Port shell scripts to Node JS
#277 by Valentine-Mario was merged Dec 25, 2021 Loading…
chat
#275 by momchilov was merged Oct 26, 2021 Loading…
Chat
#274 by momchilov was merged Oct 26, 2021 Loading…
Chat
#273 by momchilov was closed Oct 26, 2021 Draft
move dckc out of leadership role
#272 by dckc was closed Sep 18, 2021 Loading…
prune misleading link to rdev
#271 by dckc was closed Sep 10, 2021 Loading…
Chat functionality
#270 by momchilov was merged Sep 16, 2021 Loading…
Reviewers please test: fix rholang location bootstrap Anything affecting bootstrap tooling dev environment Anything affecting dev interface rholang Stuff that involves rholang code
#254 by Bill-Kunj was merged Jul 22, 2021 Loading…
add links
#251 by jimscarver was merged Jul 18, 2021 Loading…
Update readme and contrib docs
#249 by jimscarver was merged Jul 15, 2021 Loading…
towers of hanoi rholang example
#248 by jimscarver was merged Jul 15, 2021 Loading…
Group actions
#245 by jimscarver was merged Jul 12, 2021 Loading…
GitHub action GitHub pages
#244 by Bill-Kunj was merged Jul 12, 2021 Loading…
Pages
#243 by Bill-Kunj was closed Jul 13, 2021 Loading…
Action GitHub pages
#242 by Bill-Kunj was closed Jul 12, 2021 Loading…
GitHub pages
#241 by Bill-Kunj was closed Jul 12, 2021 Loading…
Fix contributing shellcheck
#240 by Bill-Kunj was merged Sep 9, 2021 Loading…
Contributing.md update
#239 by Bill-Kunj was closed Jul 11, 2021 Loading…
Fix vscode workspace
#237 by Bill-Kunj was merged Jul 14, 2021 Loading…
Remove masterURI and fix .gitignore not ignoring the file
#236 by Bill-Kunj was merged Jul 19, 2021 Loading…
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.