GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — GitHub - daniel-beard/github-folder-sync: Easy way to concurrently clone many GitHub repositories by organization name or user.

BranchesTags
Open more actions menu

Latest commit

 

History

22 Commits
22 Commits

Folders and files

NameName
Last commit message
Last commit date
app
app
 
 
example/configs
example/configs
 
 
src
src
 
 
test
test
 
 
.github-folder-sync
.github-folder-sync
 
 
.gitignore
.gitignore
 
 
ChangeLog.md
ChangeLog.md
 
 
LICENSE
LICENSE
 
 
README.md
README.md
 
 
Setup.hs
Setup.hs
 
 
github-folder-sync.cabal
github-folder-sync.cabal
 
 
package.yaml
package.yaml
 
 
stack.yaml
stack.yaml
 
 
stack.yaml.lock
stack.yaml.lock
 
 

Repository files navigation

github-folder-sync

An easy, fast way to clone many github repositories concurrently by org name, for github.com.

Execute

  • Run stack run

Config

The configuration is specified as a Dhall configuration file named .github-folder-sync. Either have the config in the current working directory, or override it using: github-folder-sync --config-file /tmp/adifferentconfig. A minimal configuration looks like this:

let orgConfigs = [
    { orgAPIToken = None Text
    , orgName = "daniel-beard" 
    , ignoringOrgRepos = ["nothing"]
    } 
]

in { orgConfigs }

Env vars

It's possible to expand env vars within a .github-folder-sync file by either using the built-in Dhall way:

let orgConfigs = [
    { orgAPIToken = Some env:GITHUB_FOLDER_SYNC_API_TOKEN 
    , orgName = "daniel-beard" 
    , ignoringOrgRepos = ["nothing"]
    } 
]

in { orgConfigs }

github-folder-sync also supports a shorthand syntax within strings for the following fields:

- orgAPIToken 
- orgName
- userName
- userAPIToken

For example:

orgAPIToken = Some "$GITHUB_FOLDER_SYNC_API_TOKEN"

About

Easy way to concurrently clone many GitHub repositories by organization name or user.

Topics

gitgithubhaskell

Resources

Readme
License
Activity

Stars

0 stars

Watchers

3 watching

Forks

0 forks
Report repository

Contributors

Languages

You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.