ybiquitous

# See also:
# - https://github.com/actions/runner/issues/774
# - https://help.github.com/en/actions/reference/events-that-trigger-workflows#push-event-push
# - https://help.github.com/en/actions/reference/events-that-trigger-workflows#pull-request-event-pull_request
# - https://help.github.com/en/actions/reference/context-and-expression-syntax-for-github-actions

name: "[skip ci]" on Actions

on: [push, pull_request]

githubteacher

Picking InnerSource projects

Here are some good candidates:

• https://github.com/github/backup-utils
• https://github.com/github/platform-samples
• https://github.com/github/scripts-to-rule-them-all
• https://github.com/github/gitignore
• https://github.com/github/janky

githubteacher

Case studies for InnerSource

• Inner Source—Adopting Open Source Development Practices in Organizations
• Adopting InnerSource: Principles and Case Studies
• Application of inner source on small development teams - A case study
• Dirk Riehle: "Ten Years of Inner Source: Case Studies & Conclusions"
• A comparative study of challenges in integrating Open Source Software and Inner Source Software
• Case studies of Inner Source
• Promoting Software Reuse in a Corporate Setting

rhukster

#!/bin/bash
# Creator: Phil Cook
# Modified: Andy Miller
#
# >>> IMPORTANT: Moved to: https://github.com/rhukster/sphp.sh
# >>> Kept here for legacy purposes
#
osx_major_version=$(sw_vers -productVersion | cut -d. -f1)
osx_minor_version=$(sw_vers -productVersion | cut -d. -f2)
osx_patch_version=$(sw_vers -productVersion | cut -d. -f3)

chuckrincon

<?php

namespace App\Providers;

use Illuminate\Support\Facades\App;
use Illuminate\Support\ServiceProvider;
use Illuminate\Contracts\Filesystem\FileNotFoundException;

class ConfigServiceProvider extends ServiceProvider
{

stefanmaric

Copy-to-clipboard Bookmarklet

Create Bookmarklet (browser bookmark that executes Javsacript) to copy a given text to Clipboard.

This is the base javascript:

(function (text) {
  var node = document.createElement('textarea')
  var selection = document.getSelection()

mobilemind

# delete local tag '12345'
git tag -d 12345
# delete remote tag '12345' (eg, GitHub version too)
git push origin :refs/tags/12345
# alternative approach
git push --delete origin tagName
git tag -d tagName