Search: github.com/mberg | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

421.

Conflict: A small esoteric language giving semantics to Git merge conflict (github.com/basile-henry)

1 point

5 years ago

422.

Prune Remotely Merged Branches (github.com/logston)

1 point

5 years ago

423.

Work in Progress: PHP support for F# (Fable) merged (github.com/fable-compiler)

1 point

5 years ago

424.

GitHub Dependabot soon drops support for auto-merging upgrade PRs (github.com/dependabot)

1 point

5 years ago

425.

GitHub still can't sort merged pull requests by merge date (github.com/isaacs)

1 point

5 years ago

426.

React Native: Introducing Timeline: A time-travel debugging tool (merged) (github.com/facebook)

1 point

5 years ago

427.

Show HN: I built a CLI tool in Go to bulk merge GitHub pull requests (github.com/Cian911)

1 point

5 years ago

428.

Git-imerge – incremental merge and rebase for Git (github.com/mhagger)

1 point

6 years ago

429.

Nanos just merged support for Firecracker (github.com/nanovms)

1 point

6 years ago

430.

Show HN: GitHub – Specify that a PR must be merged after another PR (github.com/marketplace)

1 point

6 years ago

431.

Kodiak: GitHub bot to automatically update and merge GitHub PRs (github.com/chdsbd)

1 point

6 years ago

432.

A PR is merged into slate.js closing so many issues that it broke GitHub (github.com/ianstormtaylor)

1 point

7 years ago

433.

New: Added giuliani taxonomy (will never be merged but kept for historical fun) (github.com/MISP)

1 point

DyslexicAtheist

7 years ago

434.

V Language Syntax Merged into GitHub (github.com/github)

1 point

7 years ago

435.

Show HN: M4b-tool 0.4.2 – merge, split and chapterize audiobooks(bugfix release) (github.com/sandreas)

1 point

7 years ago

436.

Script to help manage (merge, share) hosts changes (github.com/ghettonet)

1 point

16 years ago

437.

Floating Windows in TUI and Remote UI Merged (github.com/neovim)

1 point

7 years ago

438.

Show HN: M4b-tool 0.3.2 – a tool to merge, split and chapterize audiobooks (github.com/sandreas)

1 point

7 years ago

439.

Omi – Merge JSX and Webcomponents into One Framework (github.com/Tencent)

1 point

8 years ago

440.

Sensitive, considerate writing before you merge your Pull Requests (github.com/swinton)

1 point

8 years ago

441.

Show HN: Joincap – Merge multiple pcap files together, gracefully (github.com/assafmo)

1 point

8 years ago

442.

Show HN: WordGit – Git diff and merge on Word docs, using Word's native support (github.com/Gaelan)

1 point

8 years ago

443.

Caffe2 merging into PyTorch codebase (github.com/caffe2)

1 point

8 years ago

444.

Run yarn install on Git checkout, pull, merge, rebase (github.com/frontsideair)

1 point

8 years ago

445.

Meta: merge the TSC and CTC back into a single entity (github.com/nodejs)

1 point

9 years ago

446.

Simple and efficient way to delete remote merged branches from Git repository (github.com/hyperia-sk)

1 point

9 years ago

447.

PostgreSQL support merged for OSEM (conference software) (github.com/openSUSE)

1 point

9 years ago

448.

Show HN: 'git branch --merged' that works with rebased commits (github.com/mvdan)

1 point

9 years ago

449.

Rultor, a Merging Bot (github.com/yegor256)

1 point

9 years ago

450.

Make tokenizer recognize VC merge conflict marker (github.com/elixir-lang)

1 point

10 years ago