Use "github.com" hosted "drgn" repository

[prakashsurya]

No description provided.

[prakashsurya]

• linux-pkg-build is here
• linux-pkg-build (with Add Ubuntu package definition drgn#1) is here
• git-ab-pre-push is here

[prakashsurya]

cc: @sdimitro @pzakha

[pzakha]

Looks like the gitlab repo was somewhat behind the github repo. Would be worth it to do a git-ab-pre-push as well once the linux-pkg-build is done. Looking at the differences, we do not seem to have a debian directory in there, so the build will most likely fail.

Also, do you have plans to setup auto-update for this repository?

[pzakha]

Meant to request changes, not approve, due to github repository missing debian directory.

[prakashsurya]

Would be worth it to do a git-ab-pre-push as well once the linux-pkg-build is done.

Yes, I can do this.

Also, do you have plans to setup auto-update for this repository?

No concrete plans, but I believe we do want to have it be automatically updated. I believe our plans are to use the same model for this repository, as we do for "delphix/zfs"; i.e. we interact directly with upstream, and use auto-merges to keep our fork up-to-date.

I don't know how this will be implemented, but I'd like to have that discussion elsewhere, since it's not directly related to this change.

[prakashsurya]

@pzakha can you give this another look; I think it's ready to go.