Page MenuHomeFreeBSD

git-ghpr: A script to land github pull requests
Needs ReviewPublic

Authored by imp on May 9 2023, 4:45 PM.
Tags
None
Referenced Files
Unknown Object (File)
Sat, Nov 30, 12:01 PM
Unknown Object (File)
Nov 25 2024, 12:52 AM
Unknown Object (File)
Nov 22 2024, 5:21 PM
Unknown Object (File)
Nov 2 2024, 3:10 AM
Unknown Object (File)
Oct 7 2024, 11:19 PM
Unknown Object (File)
Oct 5 2024, 8:43 AM
Unknown Object (File)
Oct 5 2024, 5:01 AM
Unknown Object (File)
Oct 4 2024, 11:42 PM

Details

Summary

Sponsored by: Netflix

Diff Detail

Repository
rG FreeBSD src repository
Lint
Lint Skipped
Unit
Tests Skipped
Build Status
Buildable 51399
Build 48290: arc lint + arc unit

Event Timeline

imp requested review of this revision.May 9 2023, 4:45 PM
imp created this revision.
tools/tools/git/git-ghpr
206

I guess "Reviewed by: imp" shouldn't be hard-coded? :)

tools/tools/git/git-ghpr
206

also perhaps some commentary on $HOME/bin/git-fixup-editor

tools/tools/git/git-ghpr
206

ah, yea, likely shouldn't be hard coded.
And git-fixup=editor likely should be included here as well.

#!/bin/sh

# Takes 1 arg, the file to edit

fn=$1
dir=$(mktemp -d gfe-XXXXXXXXXXXX)
ofn=$dir/msg

trap "rm -rf $dir" EXIT

sed -e 's/^Reviewed-by:/Reviewed by:/;
        s/^Pull-Request:/Pull Request:/;
        s/^Differential-Revision:/Differential Revision:/' < $fn > $ofn && mv $ofn $fn

is what it does.

This gets back to a point I'd like to raise: We should ditch the 'metadata with spaces' thing and move to more-standard metadata so that the git commit --trailer stuff can be used in the tooling.

This gets back to a point I'd like to raise: We should ditch the 'metadata with spaces' thing and move to more-standard metadata

Yes, I'm fine with us updating the commit template, handbook etc. (and adding a note that metadata used to use spaces). I created D40025 for the commit template.