Skip to content

Here's what's popular on GitHub today...

ESLint logo

Popular topic

The pluggable linting utility for JavaScript and JSX.
gitpod.io screenshot

App recommended by GitHub

gitpod.io

Gitpod is an open-source developer platform automating the provisioning of ready-to-code developer environments..

With Gitpod your team can instantly start coding with fresh, ephemeral and fully-compiled dev environments for each new task - no matter if you are building a new feature, want to fix a bug or do a code review.

Sounds like GitHub Codespaces? https://www.gitpod.io/gitpod-vs-codespaces/

Trending repository

quleuber
quleuber commented Feb 2, 2022

Right now the src/runtime.c template is not a valid C file before the substitutions are made. This hardens developing on that file unnecessarily.

Some solutions to this are discussed on #32, e.g.

Sure, or variations of int value = /* START / 0 / END */; expressions where it is important, and replace both tokens and the content they box.

budibase

Trending repository

Trending repository

App recommended by GitHub

Stale

Automatically close stale Issues and Pull Requests that tend to accumulate during a project.

How it works

After a period of inactivity, a label will be applied to mark an issue as stale, and optionally post a comment to notify contributors that the Issue or Pull Request will be closed.

If the Issue or Pull Request is updated, or anyone comments, then the stale label is removed.

If no more activity occurs, the Issue or Pull Request will be automatically closed with an optional comment.