Hose clamps for homebrew beer lines

Typical homebrew beer liquid hose has an outer diameter (OD) of 7/16" or 0.4375" or 11mm

Typical homebrew beer gas hose has an outer diameter (OD) of 9/16" or 0.5625" or 14mm

A worm gear drive hose clamp size 04 has a diameter

  • when fully open of 5/8" or 0.62" or 16mm
  • when close of 1/4" or 0.25" or 6mm

Ideally the host clamp is larger than the OD of the hose you're clamping but not significantly larger so that the shape of clamp is circular and not pinched next to the gear when it's cinched down.

This aliexpress seller sells hose clamps for cheap. The two sizes that may be ideal here are

  • Type 1: 8mm-12mm
  • Type 2: 10mm-16mm

You could also buy them in bulk from this seller though they look more expensive

Workaround for “No new people were added to the group One person is already a member of the group. The provided email address might be a primary, secondary, or alternate email address of this person.”

If you encounter the Google Groups error

No new people were added to the group
One person is already a member of the group. The provided email address might be a primary, secondary, or alternate email address of this person.

when trying to Direct Add or Invite a user to a Google Group, but there are no users in the Group which could possibly have alternate, primary or secondary email addresses that conflict with the address you're trying to add, here's a workaround to this apparent bug in Google Groups.

Change the permissions on the Google Group manifesting this problem to allow people to apply to join the group :

"Manage"... "Permissions"... "Basic Permissions"... "Join the group" : "Anyone can ask"

Then have the user who you couldn't add or invite, go to the Google Group and click the "Apply for membership" link. Then approve their Join Request and they're in.

Afterwards, set the "Join the group" permissions back to "Only invited users" if that's what you had before. Here's where I reported this bug

I experienced this problem with two different Google Groups and three different users and was able to get them all added by this method.

Mozilla GitHub repository naming convention

I wanted to create a new GitHub repo in the Mozilla GitHub org and went searching for a document defining a naming convention for repository names. I didn't find anything so I thought I'd look at what names people used and deduce a convention.

  • 928 (100%) Mozilla GitHub Repositories
  • 878 (95%) have no uppercase characters
  • 909 (98%) have no underscore character
  • 517 (56%) have a dash character

Looks like the convention is :

  • Use all lower case
  • Separate words with a dash character if needed

I used PyGitHub to query the GitHub API.