Re: [Widelands-dev] [Merge] lp:~janus-jhor/widelands-website/switch_to_settings into lp:widelands-website

2016-12-12 Thread kaputtnik
Doch, habe ich. Allerdings musste ich den branch erst noch mit trunk mergen, da Janus keine Lust dazu hatte. Evtll hat bzr das nicht gecheckt, das ich den branch hier zu Hause pepusht habe. Auf https://code.launchpad.net/widelands-website steht er auch in der Spalte 'Last Commit'. Ich habe

[Widelands-dev] [Merge] lp:~janus-jhor/widelands-website/switch_to_settings into lp:widelands-website

2016-12-11 Thread kaputtnik
The proposal to merge lp:~janus-jhor/widelands-website/switch_to_settings into lp:widelands-website has been updated. Status: Approved => Merged For more details, see: https://code.launchpad.net/~janus-jhor/widelands-website/switch_to_settings/+merge/312957 -- Your team Widelands

Re: [Widelands-dev] [Merge] lp:~janus-jhor/widelands-website/switch_to_settings into lp:widelands-website

2016-12-11 Thread SirVer
kapputtnik: hast du das mergen nicht gepushed? dieser branch steht nicht als "merged", das macht bzr eigentlich selber. -- https://code.launchpad.net/~janus-jhor/widelands-website/switch_to_settings/+merge/312957 Your team Widelands Developers is subscribed to branch lp:widelands-website.

Re: [Widelands-dev] [Merge] lp:~janus-jhor/widelands-website/switch_to_settings into lp:widelands-website

2016-12-10 Thread kaputtnik
merged and deployed -- https://code.launchpad.net/~janus-jhor/widelands-website/switch_to_settings/+merge/312957 Your team Widelands Developers is subscribed to branch lp:widelands-website. ___ Mailing list: https://launchpad.net/~widelands-dev Post to

[Widelands-dev] [Merge] lp:~janus-jhor/widelands-website/switch_to_settings into lp:widelands-website

2016-12-10 Thread kaputtnik
The proposal to merge lp:~janus-jhor/widelands-website/switch_to_settings into lp:widelands-website has been updated. Status: Merged => Approved For more details, see: https://code.launchpad.net/~janus-jhor/widelands-website/switch_to_settings/+merge/312957 -- Your team Widelands

[Widelands-dev] [Merge] lp:~janus-jhor/widelands-website/switch_to_settings into lp:widelands-website

2016-12-10 Thread noreply
The proposal to merge lp:~janus-jhor/widelands-website/switch_to_settings into lp:widelands-website has been updated. Status: Needs review => Merged For more details, see: https://code.launchpad.net/~janus-jhor/widelands-website/switch_to_settings/+merge/312957 -- Your team Widelands

Re: [Widelands-dev] [Merge] lp:~janus-jhor/widelands-website/switch_to_settings into lp:widelands-website

2016-12-10 Thread kaputtnik
Review: Needs Fixing Bitte auch in local_settings.py.sample mit einem dummy regex eintragen. Ansonsten gibts einen Fehler, wenn jemand den code neu herunterlädt und wie in der README beschrieben den code installiert. Siehe z.B.:

[Widelands-dev] [Merge] lp:~janus-jhor/widelands-website/switch_to_settings into lp:widelands-website

2016-12-09 Thread janus
janus has proposed merging lp:~janus-jhor/widelands-website/switch_to_settings into lp:widelands-website. Requested reviews: Widelands Developers (widelands-dev) For more details, see: https://code.launchpad.net/~janus-jhor/widelands-website/switch_to_settings/+merge/312957 Reguläre