@mollekopf has agreed, so this is done.
- Feed Queries
- All Stories
- Search
- Feed Search
- Transactions
- Transaction Logs
Apr 17 2015
Apr 16 2015
In T9#171, @vanmeeuwen wrote:
Apr 15 2015
This revision was already pushed to the old remote.
This revision was already pushed to the old remote.
Apr 14 2015
Please stay tuned while we figure out how to preserve the author of the patch in the final commit.
Please stay tuned while we figure out how to preserve the author of the patch in the final commit.
Please stay tuned while we figure out how to preserve the author of the patch in the final commit.
See H4.
We have agreed to create locally hosted GIT repositories that are, in principal, complete mirrors of upstream's GIT repositories.
In T2#145, @mollekopf wrote:At least for the moment I'd like to avoid cloning (which seems to imply that we have a read-only mirror of the relevant repository). We currently rely on our own copy for development branches, although we may be able to move that upstream if the branching policies are adjusted upstream.
To me the separate repositories don't complicate work, so that works well enough for me.
When you say descriptive graphics, is this something we can do in .dot or would we be using .dia?
Implemented.
Apr 13 2015
See also: