Rename /buttons/ to /badges/

[rufuspollock]

What: rename buttons to badges both in url and in content of page.

Why: "Badges" are a more appropriate term of art (at least today) than "buttons" i think.

@mlinksva @hlainchb wdyt?

[hlainchb]

Agreed.
On Dec 8, 2014 2:09 AM, "Rufus Pollock" notifications@github.com wrote:

What: rename buttons to badges both in url and in content of page.

Why: "Badges" are a more appropriate term of art (at least today) than
"buttons" i think.

@mlinksva https://github.com/mlinksva @hlainchb
https://github.com/hlainchb wdyt?

—
Reply to this email directly or view it on GitHub
#74.

[mlinksva]

Not clear to me, I've only heard in context described in https://en.wikipedia.org/wiki/Digital_badge but I don't particularly care.

[rufuspollock]

OK, sounds like we have consensus. Let's do it - with redirects in standard jekyll way. Anyone up for implementing?

[rufuspollock]

@hlainchb would you like to have a stab at implementing this?

[hlainchb]

Yes, I'll have a look at it.

On Fri, Aug 14, 2015 at 3:35 AM, Rufus Pollock notifications@github.com
wrote:

@hlainchb https://github.com/hlainchb would you like to have a stab at
implementing this?

—
Reply to this email directly or view it on GitHub
#74 (comment).

Herb Lainchbury, Dynamic Solutions
250.704.6154
http://www.dynamic-solutions.com