Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore(badger): Update badger to 37ee16d #6040

Merged
merged 1 commit into from
Jul 20, 2020
Merged

Conversation

jarifibrahim
Copy link
Contributor

@jarifibrahim jarifibrahim commented Jul 20, 2020

This description was generated using this script:

#!/bin/bash

set -e
GHORG=${GHORG:-dgraph-io}
GHREPO=${GHREPO:-badger}
cat <<EOF
This description was generated using this script:
\`\`\`sh
`cat $0`
\`\`\`
Invoked as:

    `echo GHORG=${GHORG} GHREPO=${GHREPO} $(basename $0) ${@:1}`

EOF
git log --oneline --reverse ${@:1} \
  | sed -E "s/^(\S{7}\s)//g" \
  | sed -E "s/([\s|\(| ])#([0-9]+)/\1${GHORG}\/${GHREPO}#\2/g" \

Invoked as:

GHORG=dgraph-io GHREPO=badger changes.sh 3ffaf3cd1d4a...37ee16d8ad1c

Various bug fixes: Break up list and run DropAll func (hypermodeinc/badger#1439) (hypermodeinc/badger#1440)


This change is Reviewable

@parasssh parasssh changed the title Update badger to 37ee16d chore(badger): Update badger to 37ee16d Jul 20, 2020
@parasssh parasssh merged commit 4baa84c into master Jul 20, 2020
@joshua-goldstein joshua-goldstein deleted the ibrahim/master-badger branch August 11, 2022 20:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants