# Pushing to GitHub

> What a push actually sends, how deletions are handled, and what to do when GitHub has commits your project does not.

Source: https://www.revquix.com/docs/projects/pushing-to-github
Last verified: 2026-09-03

---

Pushing sends your project's files to the linked repository as a commit.

## What gets sent

Only what changed. The push dialog compares your project against the repository and shows you the
change set before anything happens - added, modified and deleted, by name.

> **Note** - Nothing changed means nothing is pushed
>
> If the comparison finds no differences, there is no commit to make. An empty commit would be noise in
> a history somebody else has to read.

**Deletions travel.** A file you removed in the project is removed in the commit. Earlier this was
not true and a deleted file quietly stayed on GitHub - if you remember that behaviour, it has
changed.

## The commit message

Pre-filled from what changed, and editable. It is a real commit message on a real repository, so it
is worth a sentence if anyone else reads that history.

## When GitHub is ahead

If the repository has commits your project does not, the panel says so: **"GitHub has commits this
project doesn't."**

> **Warning** - Pushing over it would discard that work
>
> Your project is a copy taken at import time. It does not know about anything committed since. Open
> the review before pushing and decide deliberately - the safe move is usually to bring the changes
> into the project first, or to push to a different branch.

## Too large to compare

On a big repository the panel may say it cannot compare, and that **push sends everything**. That is
the honest warning rather than a guess: without a comparison it cannot show you a change set, so you
are pushing your project's state as-is.

## What a push does not do

- **It does not pull.** There is no sync back from GitHub into the project after the import.
- **It does not open a pull request.** It commits to the branch you linked.
- **It does not run anything.** Whatever CI you have on the repository is between GitHub and you.

- [Connecting GitHub](https://www.revquix.com/docs/projects/connecting-github) - Linking and importing.

- [Restore points](https://www.revquix.com/docs/projects/restore-points) - Local versions, before you push.