chore(3p/josh): Bump version to latest HEAD

This lets us drop the patch for pinning the git library, as this one
is now pinned to something upstream.

Change-Id: Ib8026f5f22e2e49371a2bad83aa726c2951570e4
Reviewed-on: https://cl.tvl.fyi/c/depot/+/3086
Tested-by: BuildkiteCI
Reviewed-by: eta <eta@theta.eu.org>
This commit is contained in:
Vincent Ambo 2021-05-02 16:37:23 +02:00 committed by tazjin
parent 790c0d938e
commit 47986fdc21
2 changed files with 3 additions and 73 deletions

View file

@ -2,19 +2,11 @@
{ depot, pkgs, ... }:
let
gitSrc = pkgs.fetchFromGitHub {
src = pkgs.fetchFromGitHub {
owner = "esrlabs";
repo = "josh";
rev = "1c1965deb0278de92452a597c092f16b531274ae";
sha256 = "0a0ybx4dqr9gfcn1kqy2nirdsfbdwkfz24ljnri564c5381ccldw";
};
src = pkgs.applyPatches {
name = "josh-src";
src = gitSrc;
patches = [
./pin-git2-rev.patch
];
rev = "92fd7fb193d0df25b106207675f233cfe1d26d0d";
sha256 = "0fzy9xbr0vnw239gl8famrqncn8pxlnwkfvy3gxl7c80d78yg9j7";
};
in depot.third_party.naersk.buildPackage {
inherit src;