Skip to content

Activity

[wip]

CohenArthurpushed 2 commits to add-repo-arg • 905890e…85306e9 • 
on Feb 21

chore: Cleanup creation of PR body

CohenArthurpushed 2 commits to add-repo-arg • 8d3fcb5…905890e • 
on Feb 12

[wip] [fixup]: Start running tests when cherry-picking

CohenArthurcreated add-repo-arg • 8d3fcb5 • 
on Feb 9

gh: Prepend PR branch name with "cohenarthur:"

Pull request merge
CohenArthurpushed 2 commits to master • 258a7ca…f85efe2 • 
on Feb 6

gh: Prepend PR branch name with "cohenarthur:"

CohenArthurpushed 1 commit to create-pr-on-proper-repo • 2ba25ef…2b3083e • 
on Feb 6

chore: Cleanup, switch PR target org to rust-gcc

CohenArthurcreated create-pr-on-proper-repo • 2ba25ef • 
on Feb 6

pr: Improve message body in pull-request

Pull request merge
CohenArthurpushed 1 commit to master • dda131e…258a7ca • 
on Feb 6

pr: Improve message body in pull-request

CohenArthurcreated improve-pr-message • 1fccdf6 • 
on Feb 6

prefix: Use new Output API properly

Force push
CohenArthurforce pushed to master • abaca8e…dda131e • 
on Feb 6

gerris: Prefix commits if needed

Force push
CohenArthurforce pushed to master • 23c2f58…abaca8e • 
on Feb 6

gerris: Prefix commits if needed

Pull request merge
CohenArthurpushed 1 commit to master • 423ed32…23c2f58 • 
on Feb 6

Merge pull request #11 from CohenArthur/add-push-command

Pull request merge
CohenArthurpushed 2 commits to master • 74491a2…423ed32 • 
on Feb 6

git: Add push() builder

CohenArthurcreated add-push-command • 2f78bec • 
on Feb 5

gerris: Prefix commits if needed

CohenArthurpushed 1 commit to prefix-commits-if-needed • 74491a2…34dd58c • 
on Feb 5

chore: Cargo update

CohenArthurcreated prefix-commits-if-needed • 74491a2 • 
on Feb 5

chore: Cargo update

CohenArthurpushed 1 commit to master • 517174b…74491a2 • 
on Feb 5

Merge pull request #4 from CohenArthur/upstream-command

Pull request merge
CohenArthurpushed 16 commits to master • ac39e1a…517174b • 
on Feb 5

chore: Cleanup clippy warnings

Force push
CohenArthurforce pushed to upstream-command • d78eefb…28ac376 • 
on Feb 5

git: Fix RevList type, improve error handling

CohenArthurpushed 1 commit to upstream-command • f9038b0…d78eefb • 
on Feb 5

git: Cleanup git abstraction

CohenArthurpushed 1 commit to upstream-command • 23a73a6…f9038b0 • 
on Feb 5

wip: IT WORKS

CohenArthurpushed 6 commits to upstream-command • d6da68c…23a73a6 • 
on Feb 5

gerris: Start using nom

CohenArthurcreated use-nom • d42ba15 • 
on Nov 3, 2023

wip: Pushing branches and creating PRs works!

CohenArthurpushed 2 commits to upstream-command • bdf64e5…d6da68c • 
on Apr 6, 2023

upstream: Make token optional

CohenArthurpushed 1 commit to upstream-command • e19e3df…bdf64e5 • 
on Mar 25, 2023

upstream: Cherry-picking needs fixing

CohenArthurpushed 1 commit to upstream-command • a954676…e19e3df • 
on Mar 25, 2023

upstream: Fix logic, as this bot prepares commits but does not upstre…

CohenArthurpushed 6 commits to upstream-command • 6a0cdcd…a954676 • 
on Mar 25, 2023

wip: Start cleanup using libgit2

CohenArthurcreated prepare-2023-03-25 • 13a209d • 
on Mar 25, 2023