Wayne Mao helloint

💭

want to fly

contribute & share

helloint / migrate-gitlab-github.sh

Last active September 19, 2024 01:36

Migrate from GitLab group repos to GitHub orgs in batch

	# If you have a GitLab group repos that need to migrate to GitHub, currently the best option is to create a GitHub org
	GITLAB_GROUP_NAME=your_gitlab_group_name
	GITLAB_DOMAIN=gitlab.com:22
	GITHUB_ORG_NAME=your_github_org_name
	REPOS=("repo_1" "repo_2")
	for REPO_NAME in ${REPOS[@]}; do
	git clone --mirror ssh://git@$GITLAB_DOMAIN/$GITLAB_GROUP_NAME/$REPO_NAME.git $REPO_NAME/.git
	cd $REPO_NAME
	git config --bool core.bare false
	git reset --hard

helloint / smartedu-download-pdf.user.js

Last active July 10, 2024 11:52

Download PDF file from smartedu

	// ==UserScript==
	// @name Download PDF from smartedu
	// @namespace https://helloint.com
	// @version 0.2
	// @description Download PDF file from basic.smartedu.cn by press keyboard 'ddd'
	// @author Wayne Mao
	// @match https://basic.smartedu.cn/*
	// @icon https://www.google.com/s2/favicons?sz=64&domain=web.app
	// @grant none
	// ==/UserScript==

helloint / github-csv-url-to-link.user.js

Last active July 5, 2024 02:37

Convert URLs from plain text to links

	// ==UserScript==
	// @name Convert URLs from plain text to links
	// @namespace https://helloint.com
	// @version 0.3
	// @description GitHub supports rendering CSV file, but it doesn't support links. This script will find the URLs and convert to links.
	// @author Wayne Mao
	// @match https://github.com/*/.csv
	// @icon https://www.google.com/s2/favicons?sz=64&domain=web.app
	// @grant none
	// ==/UserScript==

helloint / TestLoop.md

Last active October 11, 2021 04:02

Array Loop Test