Hi everyone,
I uploaded a configuration to GitHub[1] which can be used to download and synchronize Amber repositories with Google's repo tool.
What is repo?
It is basically a tool to manage a collection of (related) Git repositories with the ability to track upstream branches like master.
Since it builds on top of Git it is a bit more powerful than Git with submodules.
Once Amber is split up into more separate Git repositories it might come in handy for core developers to use something like this.
How to do a first checkout is described in the README file inside the repository or in this blog post:
If you have any questions feel free to ask.
Best,
Manfred
--
You received this message because you are subscribed to the Google Groups "amber-lang" group.
To unsubscribe from this group and stop receiving emails from it, send an email to
[hidden email].
For more options, visit
https://groups.google.com/groups/opt_out.
Locked
