Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: NixOS/ofborg
base: d2f115f27467
Choose a base ref
...
head repository: NixOS/ofborg
compare: 76f2d88431c1
Choose a head ref
  • 2 commits
  • 1 file changed
  • 2 contributors

Commits on Nov 25, 2018

  1. Add Gerschtli to extra-known-users

    @Gerschtli
    Gerschtli committed Nov 25, 2018
    Copy the full SHA
    e84eaf5 View commit details
    Browse the repository at this point in the history

Commits on Nov 26, 2018

  1. Merge pull request #277 from Gerschtli/extra-known-users-gerschtli 

    Add Gerschtli to extra-known-users
    @grahamc
    grahamc committed Nov 26, 2018
    Copy the full SHA
    76f2d88 View commit details
    Browse the repository at this point in the history