On Tuesday, October 9, 2012 7:35:53 PM UTC+2, John Wiegley wrote: > > >>>>> Jeroen De Vlieger <[email protected] <javascript:>> writes: > > > But in general I'm still a bit unsure about the proper channels to > > communicate certain stuff so that I'll get noticed. For example: * If I > > encounter an bug or some oddity that I think is a bug, where exactly > should > > I post this information to so that it will get the attention it needs. > > Should I post bug reports to the github issue's page? I have recently > posted > > two there. Or should I post them to this mailing list like I recently > did? > > Or should I post them to the bugtracker? > > > * If I have a patch to contribute a feature or fix a problem, should I > post > > it to this mailing list or directly to the github issues page? > > The best place to accumulate proposed changes to anything Ledger-related > is > the Bugzilla tracker at bugs.ledger-cli.org. Thanks for your > contributions! > > > Given that I seem to have missed that and went straight to the issues page of github, then maybe this should somehow be made more clear or the problem can simply be prevented by disabling the github issues page (I have no idea if that is possible though). As long as the github issues page is alive and active, you will get people (like me) that won't think any further and simply use this tool assuming that it is there for a reason.
Jeroen
