Article about josh-filter #1386
alexpdp7
started this conversation in
Show and tell
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
At work, we have discovered josh. I think it's a fantastic tool. However, IMHO having to run a new service is some overhead that some teams might not be comfortable with. Also, I was a bit intimidated because I had not seen a lot of josh use in the wild.
However, a colleague pointed me to:
https://github.com/rust-lang/miri/blob/11da987f4c7aa7ec56287c98410d6f020488ba34/miri-script/src/commands.rs#L233
; some open source project that is using josh to synchronize repos, so I was a bit encouraged to proceed and try to use josh for our needs.
That project is also using josh without a "permanent" service, using a command-line flow. This encouraged me to research
josh-filter
. I managed to combine the Josh documentation and that example to make a proof of concept.Today, I've published an article explaining all the pieces:
https://github.com/alexpdp7/alexpdp7/blob/master/programming/git/combining_repos_with_josh_filter.md
. I think the Josh documentation is enough to figure this out, but I thought a full example would help others do similar tasks with more confidence.
The article contains a full walkthrough that you can follow locally that shows how to incorporate a repo into a subpath of a larger repo, and push/pull changes between the two.
Issues/PRs are welcome- I'm also happy if anyone uses this for any purpose- I wouldn't mind making some changes to incorporate it into the Josh documentation or whatever.
Beta Was this translation helpful? Give feedback.
All reactions