search

ohhmm / openmind

Deduction framework with arbitrary mathematical system solver.
https://www.deduction-fw.org/
BSD 3-Clause "New" or "Revised" License
13 stars 8 forks source link

Add bring-to-develop target #575

Closed ohhmm closed 14 hours ago

ohhmm commented 1 day ago

current_branch=$(git symbolic-ref --short HEAD) && git checkout && git rebase $current_branch